Searched refs:efi_reboot (Results 1 – 3 of 3) sorted by relevance
69 efi_reboot(REBOOT_WARM, NULL); in machine_restart()71 efi_reboot(REBOOT_COLD, NULL); in machine_restart()
13 void efi_reboot(enum reboot_mode reboot_mode, const char *__unused) in efi_reboot() function
859 extern void efi_reboot(enum reboot_mode reboot_mode, const char *__unused);880 efi_reboot(enum reboot_mode reboot_mode, const char *__unused) {} in efi_reboot() function