Symbol: rib_deregistermem_via_hca