EMU_TCBS          886 dev/pci/emuxki.c 	emuxki_write(sc, 0, EMU_TCBS, 0);	/* This means 16K TCB */
EMU_TCBS          957 dev/pci/emuxki.c 	emuxki_write(sc, 0, EMU_TCBS, 0);