tx_ui             816 drivers/isdn/mISDN/layer2.c 	tx_ui(l2);
tx_ui            1359 drivers/isdn/mISDN/layer2.c 		tx_ui(l2);