Symbol: arm_intr_map_msi