VD_DISK_LABEL_EFI
if (vdc->vdisk_label == VD_DISK_LABEL_EFI)
if (vdc->vdisk_label == VD_DISK_LABEL_EFI)
vdc->vdisk_label = VD_DISK_LABEL_EFI;
if (vd->vdisk_label == VD_DISK_LABEL_EFI) {
vd->vdisk_label != VD_DISK_LABEL_EFI)) {
if (vd->vdisk_label == VD_DISK_LABEL_EFI) {
case VD_DISK_LABEL_EFI:
vd->vdisk_label = VD_DISK_LABEL_EFI;
if (vd->vdisk_label == VD_DISK_LABEL_EFI ||
if (vd_slice_label == VD_DISK_LABEL_EFI ||
vd->vdisk_label = VD_DISK_LABEL_EFI;
vd->vdisk_label = VD_DISK_LABEL_EFI;
ASSERT(vd->vdisk_label == VD_DISK_LABEL_EFI);