intc_irqpin_hwirq_mask
intc_irqpin_write(p, reg, intc_irqpin_hwirq_mask(p, reg, hw_irq));
bit = intc_irqpin_hwirq_mask(p, INTC_IRQPIN_REG_SOURCE, i->hw_irq);