Searched refs:kernel_type (Results 1 – 4 of 4) sorted by relevance
53 kernel_t kernel_type; variable91 kernel_type = KERNEL_TYPE_NONE; in init_builtins()245 if (kernel_type != KERNEL_TYPE_NONE) in boot_func()253 switch (kernel_type) in boot_func()258 bsd_boot (kernel_type, bootdev, (char *) mbi.cmdline); in boot_func()420 kernel_type = KERNEL_TYPE_NONE; in chainloader_func()428 kernel_type = KERNEL_TYPE_NONE; in chainloader_func()445 kernel_type = KERNEL_TYPE_NONE; in chainloader_func()450 kernel_type = KERNEL_TYPE_CHAINLOADER; in chainloader_func()1717 switch (kernel_type) in initrd_func()[all …]
224 if (kernel_type == KERNEL_TYPE_NONE) in run_script()
855 extern kernel_t kernel_type;
7465 (kernel_type): Declared.