INTC_IRQPIN_REG_SOURCE
bit = intc_irqpin_hwirq_mask(p, INTC_IRQPIN_REG_SOURCE, i->hw_irq);
if (intc_irqpin_read(p, INTC_IRQPIN_REG_SOURCE) & bit) {
intc_irqpin_write(p, INTC_IRQPIN_REG_SOURCE, ~bit);
unsigned int reg_source = intc_irqpin_read(p, INTC_IRQPIN_REG_SOURCE);
intc_irqpin_write(p, INTC_IRQPIN_REG_SOURCE, 0x0);