Searched refs:efi_thunk_reset_system (Results 1 – 1 of 1) sorted by relevance
706 efi_thunk_reset_system(int reset_type, efi_status_t status, in efi_thunk_reset_system() function813 efi.reset_system = efi_thunk_reset_system; in efi_thunk_runtime_setup()