Home
last modified time | relevance | path

Searched refs:kernel_t (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/grub/grub-0.97/stage2/
H A Dshared.h938 kernel_t; typedef
940 extern kernel_t kernel_type;
1068 void bsd_boot (kernel_t type, int bootdev, char *arg)
1075 kernel_t load_image (char *kernel, char *arg, kernel_t suggested_type,
H A Dboot.c39 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()
887 bsd_boot (kernel_t type, int bootdev, char *arg) in bsd_boot()
H A Dbuiltins.c56 kernel_t kernel_type;
2808 kernel_t suggested_type = KERNEL_TYPE_NONE; in kernel_func()
/illumos-gate/usr/src/grub/grub-0.97/
H A DChangeLog7580 * stage2/boot.c (load_image): Return kernel_t instead int.
7581 (bsd_boot): Change the type of the first argument to kernel_t.
7623 (kernel_t): New type.