Symbol: efi_getcfgtblhead
sys/arch/x86/x86/efi_machdep.c
427
if (efi_getcfgtblhead() == NULL) {
sys/arch/x86/x86/efi_machdep.c
62
struct efi_cfgtbl *efi_getcfgtblhead(void);
sys/arch/x86/x86/efi_machdep.c
984
struct efi_cfgtbl *cfgtbl = efi_getcfgtblhead();