Symbol: XBI_UEFI_ARCH_64
usr/src/uts/i86pc/dboot/dboot_startkern.c
1863
bi->bi_uefi_arch = XBI_UEFI_ARCH_64;
usr/src/uts/i86pc/dboot/dboot_startkern.c
2412
if (bi->bi_uefi_arch == XBI_UEFI_ARCH_64) {
usr/src/uts/i86pc/os/fakebop.c
2943
if (xbp->bi_uefi_arch == XBI_UEFI_ARCH_64) {