ibt_channel_to_hca_guid
hca_guid = ibt_channel_to_hca_guid(channel);
ib_guid_t ibt_channel_to_hca_guid(ibt_channel_hdl_t chan);