RD94_SYS_INTSTAT2
return in32(RD94_SYS_INTSTAT2) & (ICU_LEN - 1);
vector = in32(RD94_SYS_INTSTAT2) & 0xffff;