Searched refs:efi_reset_system (Results 1 – 4 of 4) sorted by relevance
39 void efi_reset_system(bool warm);
67 void efi_reset_system(bool warm) { } in efi_reset_system() function
615 efi_reset_system(reboot_mode != 0); in machine_restart()
180 void efi_reset_system(bool warm) in efi_reset_system() function
Completed in 5 milliseconds