BUFCTL_TX_PUT    1018 dev/pci/cz.c   		CZTTY_BUF_WRITE(sc, BUFCTL_TX_PUT,
BUFCTL_TX_PUT    1589 dev/pci/cz.c   	put	= CZTTY_BUF_READ(sc, BUFCTL_TX_PUT);
BUFCTL_TX_PUT    1617 dev/pci/cz.c   		CZTTY_BUF_WRITE(sc, BUFCTL_TX_PUT, put);