Symbol: efi_runtime_init
sys/arch/x86/x86/efi_machdep.c
439
efi_runtime_init();
sys/arch/x86/x86/efi_machdep.c
92
static void efi_runtime_init(void);