Searched refs:efi_reset_system (Results 1 – 2 of 2) sorted by relevance
187 int efi_reset_system(void);
421 efi_reset_system(void) in efi_reset_system() function