Symbol: ioc3_map_irq