tx_birq          1203 drivers/isdn/hardware/mISDN/hfcpci.c 			tx_birq(bch);
tx_birq          1210 drivers/isdn/hardware/mISDN/hfcpci.c 			tx_birq(bch);
tx_birq          2274 drivers/isdn/hardware/mISDN/hfcpci.c 			tx_birq(bch);
tx_birq          2279 drivers/isdn/hardware/mISDN/hfcpci.c 			tx_birq(bch);