Symbol: mp_map_gsi_to_irq