Searched refs:efi_reboot (Results 1 – 2 of 2) 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