WriteInterruptSet
dprintf(" sie: "); WriteInterruptSet(Sie()); dprintf("\n");
dprintf(" sip: "); WriteInterruptSet(Sip()); dprintf("\n");