efi_reboot        197 arch/arm64/kernel/process.c 		efi_reboot(reboot_mode, NULL);
efi_reboot        666 arch/ia64/kernel/process.c 	efi_reboot(REBOOT_WARM, NULL);
efi_reboot        644 arch/x86/kernel/reboot.c 			efi_reboot(reboot_mode, NULL);
efi_reboot       1214 include/linux/efi.h extern void efi_reboot(enum reboot_mode reboot_mode, const char *__unused);