EIB_PROP_HCA_GUID
EIB_PROP_HCA_GUID, val64);
ret = ndi_prop_update_int64(DDI_DEV_T_NONE, dip, EIB_PROP_HCA_GUID,
EIB_PROP_HCA_GUID, info->ti_hca_guid, dip, ret);