Symbol: EFI_CONFIGURATION_TABLE32
usr/src/uts/i86pc/dboot/dboot_startkern.c
1779
EFI_CONFIGURATION_TABLE32 *config;
usr/src/uts/i86pc/dboot/dboot_startkern.c
1784
config = (EFI_CONFIGURATION_TABLE32 *)(uintptr_t)
usr/src/uts/i86pc/dboot/dboot_startkern.c
1919
EFI_CONFIGURATION_TABLE32 *conf;
usr/src/uts/i86pc/dboot/dboot_startkern.c
1934
conf = (EFI_CONFIGURATION_TABLE32 *)(uintptr_t)