Symbol: gic_map_msi