Searched refs:kernel_type (Results 1 – 4 of 4) sorted by relevance
56 kernel_t kernel_type; variable105 kernel_type = KERNEL_TYPE_NONE; in init_builtins()269 if (kernel_type != KERNEL_TYPE_NONE) in boot_func()277 switch (kernel_type) in boot_func()282 bsd_boot (kernel_type, bootdev, (char *) mbi.cmdline); in boot_func()458 kernel_type = KERNEL_TYPE_NONE; in chainloader_func()466 kernel_type = KERNEL_TYPE_NONE; in chainloader_func()483 kernel_type = KERNEL_TYPE_NONE; in chainloader_func()488 kernel_type = KERNEL_TYPE_CHAINLOADER; in chainloader_func()2182 switch (kernel_type) in initrd_func()[all …]
233 if (kernel_type == KERNEL_TYPE_NONE) in run_script()
940 extern kernel_t kernel_type;
7624 (kernel_type): Declared.