Symbol: efi_cfgtbl32
sys/arch/x86/x86/efi_machdep.c
209
struct efi_cfgtbl32 *ct32 = (void *) efi_cfgtblhead_va;
sys/arch/x86/x86/efi_machdep.c
272
struct efi_cfgtbl32 *ct32 = (void *) efi_cfgtblhead_va;