Symbol: VD_EFI2DK_EFI
usr/src/uts/sun4v/io/vdc.c
8039
VD_EFI2DK_EFI((vd_efi_t *)from, &dk_efi);
usr/src/uts/sun4v/io/vds.c
2710
VD_EFI2DK_EFI(vd_efi, dk_efi);