Searched refs:efi_runtime_detach (Results 1 – 3 of 3) sorted by relevance
350 void efi_runtime_detach(void);
410 void efi_runtime_detach(void) in efi_runtime_detach() function
1993 efi_runtime_detach(); in efi_exit_boot_services()