reboot_type       426 arch/x86/kernel/efi.c 	reboot_type = BOOT_EFI;
reboot_type        36 arch/x86/kernel/reboot.c enum reboot_type reboot_type = BOOT_ACPI;
reboot_type        86 arch/x86/kernel/reboot.c 			reboot_type = *str;
reboot_type       118 arch/x86/kernel/reboot.c 	if (reboot_type != BOOT_BIOS) {
reboot_type       119 arch/x86/kernel/reboot.c 		reboot_type = BOOT_BIOS;
reboot_type       371 arch/x86/kernel/reboot.c 		switch (reboot_type) {
reboot_type       386 arch/x86/kernel/reboot.c 			reboot_type = BOOT_KBD;
reboot_type       393 arch/x86/kernel/reboot.c 			reboot_type = BOOT_KBD;
reboot_type       399 arch/x86/kernel/reboot.c 			reboot_type = BOOT_KBD;
reboot_type       408 arch/x86/kernel/reboot.c 			reboot_type = BOOT_KBD;
reboot_type        14 include/asm-x86/emergency-restart.h extern enum reboot_type reboot_type;