Symbol: ibt_channel_to_hca_guid