Symbol: intc_irq_unmask