BOOT_KBD          160 arch/x86/kernel/reboot.c 	if (reboot_type != BOOT_KBD) {
BOOT_KBD          161 arch/x86/kernel/reboot.c 		reboot_type = BOOT_KBD;
BOOT_KBD          623 arch/x86/kernel/reboot.c 			reboot_type = BOOT_KBD;
BOOT_KBD          626 arch/x86/kernel/reboot.c 		case BOOT_KBD:
BOOT_KBD          677 arch/x86/kernel/reboot.c 			reboot_type = BOOT_KBD;
BOOT_KBD          153 arch/x86/platform/ce4100/ce4100.c 	reboot_type = BOOT_KBD;