intc_irqpin_write
intc_irqpin_write(p, reg, intc_irqpin_hwirq_mask(p, reg, hw_irq));
intc_irqpin_write(p, reg, tmp);
intc_irqpin_write(p, INTC_IRQPIN_REG_SOURCE, ~bit);
intc_irqpin_write(p, INTC_IRQPIN_REG_SOURCE, 0x0);