Symbol: ampintc_route_irq