Searched refs:kernel_t (Results 1 – 4 of 4) sorted by relevance
| /external/grub/stage2/ |
| D | shared.h | 853 kernel_t; typedef
855 extern kernel_t kernel_type;
976 void bsd_boot (kernel_t type, int bootdev, char *arg)
983 kernel_t load_image (char *kernel, char *arg, kernel_t suggested_type,
|
| D | boot.c | 39 kernel_t
40 load_image (char *kernel, char *arg, kernel_t suggested_type, in load_image()
45 kernel_t type = KERNEL_TYPE_NONE; in load_image()
877 bsd_boot (kernel_t type, int bootdev, char *arg) in bsd_boot()
|
| D | builtins.c | 53 kernel_t kernel_type;
2334 kernel_t suggested_type = KERNEL_TYPE_NONE; in kernel_func()
|
| /external/grub/ |
| D | ChangeLog | 7421 * stage2/boot.c (load_image): Return kernel_t instead int.
7422 (bsd_boot): Change the type of the first argument to kernel_t.
7464 (kernel_t): New type.
|