Symbol: EFI_CONFIGURATION_TABLE64
usr/src/uts/i86pc/dboot/dboot_startkern.c
1815
EFI_CONFIGURATION_TABLE64 *config;
usr/src/uts/i86pc/dboot/dboot_startkern.c
1820
config = (EFI_CONFIGURATION_TABLE64 *)(uintptr_t)
usr/src/uts/i86pc/dboot/dboot_startkern.c
1957
EFI_CONFIGURATION_TABLE64 *conf;
usr/src/uts/i86pc/dboot/dboot_startkern.c
1972
conf = (EFI_CONFIGURATION_TABLE64 *)(uintptr_t)