sWriteTxByte 1332 drivers/tty/rocket.c sWriteTxByte(sGetTxRxDataIO(cp), ch); sWriteTxByte 2967 drivers/tty/rocket.c sWriteTxByte(sGetTxRxDataIO(ChP), Data);