kernel_t - Illumos

39

kernel_t

40

load_image (char *kernel, char *arg, kernel_t suggested_type,

45

kernel_t type = KERNEL_TYPE_NONE;

887

bsd_boot (kernel_t type, int bootdev, char *arg)

2808

kernel_t suggested_type = KERNEL_TYPE_NONE;

56

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,

940

extern kernel_t kernel_type;