Symbol: DK_EFI2VD_EFI
usr/src/uts/sun4v/io/vdc.c
8082
DK_EFI2VD_EFI(&dk_efi, (vd_efi_t *)to);
usr/src/uts/sun4v/io/vds.c
2694
DK_EFI2VD_EFI(dk_efi, vd_efi);