EIOINTC_REG_ISR
return iocsr_read32(EIOINTC_REG_ISR + (i << 2));
iocsr_write32(val, EIOINTC_REG_ISR + (i << 2));
return iocsr_read64(EIOINTC_REG_ISR + (i << 3));
iocsr_write64(val, EIOINTC_REG_ISR + (i << 3));