Symbol: IB_DEV_EFI
usr/src/cmd/boot/installboot/i386/installboot.c
1097
device->stage.devtype = IB_DEV_EFI;
usr/src/cmd/boot/installboot/i386/installboot.c
1164
data->device.devtype = IB_DEV_EFI;