vd_efi_t
len = sizeof (vd_efi_t) - 1 + dk_efi.dki_length;
vd_efi_t *vd_efi;
vd_efi = (vd_efi_t *)to;
VD_EFI2DK_EFI((vd_efi_t *)from, &dk_efi);
DK_EFI2VD_EFI(&dk_efi, (vd_efi_t *)to);
bufid_len = bufsize - sizeof (vd_efi_t) - 1;
bufid_len = bufsize - sizeof (vd_efi_t) - 1;
vd_efi_t *vd_efi = (vd_efi_t *)vd_buf;
data_len = vd_buf_len - (sizeof (vd_efi_t) - sizeof (uint64_t));
vd_efi_t *vd_efi = (vd_efi_t *)vd_buf;
vd_efi_t *vd_efi = (vd_efi_t *)vd_buf;
data_len = vd_buf_len - (sizeof (vd_efi_t) - sizeof (uint64_t));
vd_efi_t *vd_efi = (vd_efi_t *)vd_buf;
{VD_OP_GET_EFI, STRINGIZE(VD_OP_GET_EFI), RNDSIZE(vd_efi_t),
{VD_OP_SET_EFI, STRINGIZE(VD_OP_SET_EFI), RNDSIZE(vd_efi_t),