intc_irqpin_read
tmp = intc_irqpin_read(p, reg);
if (intc_irqpin_read(p, INTC_IRQPIN_REG_SOURCE) & bit) {
unsigned int reg_source = intc_irqpin_read(p, INTC_IRQPIN_REG_SOURCE);