intctl_read
r = intctl_read(RA_INTCTL_TYPE);
r = intctl_read(RA_INTCTL_ENABLE);
r = intctl_read(RA_INTCTL_DISABLE);
uint32_t pending = intctl_read(off);