Symbol: efi_cfgtbl64
sys/arch/x86/x86/efi_machdep.c
220
struct efi_cfgtbl64 *ct64 = (void *) efi_cfgtblhead_va;
sys/arch/x86/x86/efi_machdep.c
280
struct efi_cfgtbl64 *ct64 = (void *) efi_cfgtblhead_va;