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