EMU_DBG
emuxki_write(sc, 0, EMU_DBG, 0); /* Is it really necessary ? */
emuxki_write(sc, 0, EMU_DBG, 0x8000); /* necessary ? */