Symbol: efi_getsystblpa
sys/arch/x86/include/efi.h
240
paddr_t efi_getsystblpa(void);
sys/arch/x86/x86/efi_machdep.c
346
pa = efi_getsystblpa();