Searched refs:efi_arch_leave (Results 1 – 3 of 3) sorted by relevance
177 void efi_arch_leave(void);
257 efi_arch_leave(void) in efi_arch_leave() function
319 efi_arch_leave(void) in efi_arch_leave() function