EMU_TCB
emuxki_write(sc, 0, EMU_TCB, 0); /* No TCB use for now */
emuxki_write(sc, 0, EMU_TCB, 0); /* 16K again */