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;