RA_INTCTL_BASE
return *RA_IOREG_VADDR(RA_INTCTL_BASE, offset);
*RA_IOREG_VADDR(RA_INTCTL_BASE, offset) = val;