Symbol: efi_runtime_enter
sys/arch/x86/x86/efi_machdep.c
887
efi_runtime_enter(&cookie);
sys/arch/x86/x86/efi_machdep.c
908
efi_runtime_enter(&cookie);
sys/arch/x86/x86/efi_machdep.c
930
efi_runtime_enter(&cookie);
sys/arch/x86/x86/efi_machdep.c
952
efi_runtime_enter(&cookie);
sys/arch/x86/x86/efi_machdep.c
974
efi_runtime_enter(&cookie);