Symbol: _mapping_get_free_ir_mt_idx