Symbol: efi_aprintcfgtbl
sys/arch/x86/x86/efi_machdep.c
192
efi_aprintcfgtbl();
sys/arch/x86/x86/efi_machdep.c
63
void efi_aprintcfgtbl(void);