Symbol: efi_runtime_exit
sys/arch/x86/x86/efi_machdep.c
889
efi_runtime_exit(&cookie);
sys/arch/x86/x86/efi_machdep.c
910
efi_runtime_exit(&cookie);
sys/arch/x86/x86/efi_machdep.c
932
efi_runtime_exit(&cookie);
sys/arch/x86/x86/efi_machdep.c
954
efi_runtime_exit(&cookie);
sys/arch/x86/x86/efi_machdep.c
976
efi_runtime_exit(&cookie);