Symbol: xrep_refc_push_rmaps_at