Symbol: ack_irqs