Searched refs:kernel_type (Results 1 – 4 of 4) sorted by relevance
55 kernel_t kernel_type; variable104 kernel_type = KERNEL_TYPE_NONE; in init_builtins()266 if (kernel_type != KERNEL_TYPE_NONE) in boot_func()274 switch (kernel_type) in boot_func()279 bsd_boot (kernel_type, bootdev, (char *) mbi.cmdline); in boot_func()455 kernel_type = KERNEL_TYPE_NONE; in chainloader_func()463 kernel_type = KERNEL_TYPE_NONE; in chainloader_func()480 kernel_type = KERNEL_TYPE_NONE; in chainloader_func()485 kernel_type = KERNEL_TYPE_CHAINLOADER; in chainloader_func()2179 switch (kernel_type) in initrd_func()[all …]
233 if (kernel_type == KERNEL_TYPE_NONE) in run_script()
937 extern kernel_t kernel_type;
7624 (kernel_type): Declared.