Symbol: multiboot_tag_efi32_t
usr/src/boot/common/multiboot2.c
1143
multiboot_tag_efi32_t *tag;
usr/src/boot/common/multiboot2.c
1144
tag = (multiboot_tag_efi32_t *)
usr/src/uts/i86pc/dboot/dboot_startkern.c
1854
multiboot_tag_efi32_t *efi32tagp = NULL;
usr/src/uts/i86pc/dboot/dboot_startkern.c
1869
efi32tagp = (multiboot_tag_efi32_t *)