RA_INTCTL_DISABLE
intctl_write(RA_INTCTL_DISABLE, ~0);
r = intctl_read(RA_INTCTL_DISABLE);
intctl_write(RA_INTCTL_DISABLE, r);