Searched refs:efi_arch_leave (Results 1 – 4 of 4) sorted by relevance
258 efi_arch_leave(void) in efi_arch_leave() function
321 efi_arch_leave(void) in efi_arch_leave() function
236 void efi_arch_leave(void);
325 efi_arch_leave(); in efi_leave()