EMU_DBG           769 dev/pci/emuxki.c 		emuxki_write(sc, 0, EMU_DBG, 0);	/* Is it really necessary ? */
EMU_DBG           959 dev/pci/emuxki.c 	emuxki_write(sc, 0, EMU_DBG, 0x8000);	/* necessary ? */