BOOT_BIOS          76 arch/x86/kernel/reboot.c 	if (reboot_type != BOOT_BIOS) {
BOOT_BIOS          77 arch/x86/kernel/reboot.c 		reboot_type = BOOT_BIOS;
BOOT_BIOS         645 arch/x86/kernel/reboot.c 			reboot_type = BOOT_BIOS;
BOOT_BIOS         648 arch/x86/kernel/reboot.c 		case BOOT_BIOS: