Symbol: EMU_TCBS
sys/dev/pci/emuxki.c
895
emuxki_write(sc, 0, EMU_TCBS, 0); /* This means 16K TCB */
sys/dev/pci/emuxki.c
967
emuxki_write(sc, 0, EMU_TCBS, 0);