Symbol: ibcm_fini_hca_ids