Symbol: BOOT_BIOS
arch/x86/kernel/reboot.c
681
reboot_type = BOOT_BIOS;
arch/x86/kernel/reboot.c
684
case BOOT_BIOS:
arch/x86/kernel/reboot.c
77
if (reboot_type != BOOT_BIOS) {
arch/x86/kernel/reboot.c
78
reboot_type = BOOT_BIOS;
kernel/reboot.c
1279
case BOOT_BIOS:
kernel/reboot.c
1308
reboot_type = BOOT_BIOS;