BOOT_BIOS         118 arch/x86/kernel/reboot.c 	if (reboot_type != BOOT_BIOS) {
BOOT_BIOS         119 arch/x86/kernel/reboot.c 		reboot_type = BOOT_BIOS;
BOOT_BIOS         390 arch/x86/kernel/reboot.c 		case BOOT_BIOS: