causeInterrupt
if ((cause & causeInterrupt) == 0) {
dprintf("interrupt "); WriteInterrupt(cause & ~causeInterrupt);
case causeInterrupt + mTimerInt: {
if ((cause & causeInterrupt) == 0) {
kprintf("interrupt "); write_interrupt(cause & ~causeInterrupt);
case causeInterrupt + sSoftInt: {
case causeInterrupt + sTimerInt: {
case causeInterrupt + sExternInt: {