Searched defs:efi_arch_leave (Results 1 – 2 of 2) sorted by relevance
257 efi_arch_leave(void) in efi_arch_leave() function
319 efi_arch_leave(void) in efi_arch_leave() function