vd_efi_ioctl
status = vd_efi_ioctl(dev, DKIOCGETEFI, &dk_efi);
status = vd_efi_ioctl(dev, DKIOCGETEFI, &dk_efi);
if ((status = vd_efi_ioctl(dev, DKIOCGETEFI, &dk_efi)) != 0) {
if ((status = vd_efi_ioctl(dev, DKIOCGETEFI, &dk_efi)) != 0) {