Symbol: intc_irq_ack