arch/x86/kernel/reboot.c

153

if (reboot_type != BOOT_KBD) {

arch/x86/kernel/reboot.c

154

reboot_type = BOOT_KBD;

arch/x86/kernel/reboot.c

659

reboot_type = BOOT_KBD;

arch/x86/kernel/reboot.c

662

case BOOT_KBD:

arch/x86/kernel/reboot.c

713

reboot_type = BOOT_KBD;

arch/x86/platform/ce4100/ce4100.c

57

reboot_type = BOOT_KBD;

kernel/reboot.c

1276

case BOOT_KBD:

kernel/reboot.c

1306

reboot_type = BOOT_KBD;