EMU_TCB 887 dev/pci/emuxki.c emuxki_write(sc, 0, EMU_TCB, 0); /* No TCB use for now */ EMU_TCB 956 dev/pci/emuxki.c emuxki_write(sc, 0, EMU_TCB, 0); /* 16K again */