Symbol: efi_getsystbl
sys/arch/x86/include/efi.h
241
struct efi_systbl *efi_getsystbl(void);
sys/arch/x86/x86/efi_machdep.c
422
if (efi_getsystbl() == NULL) {
sys/arch/x86/x86/efi_machdep.c
624
systbl = efi_getsystbl();