sGetChanNum      2877 drivers/tty/rocket.c 	Ch = (Byte_t) sGetChanNum(ChP);
sGetChanNum      2919 drivers/tty/rocket.c 	Ch = (Byte_t) sGetChanNum(ChP);