main_rec_hfcpci  1189 drivers/isdn/hardware/mISDN/hfcpci.c 			main_rec_hfcpci(bch);
main_rec_hfcpci  1196 drivers/isdn/hardware/mISDN/hfcpci.c 			main_rec_hfcpci(bch);
main_rec_hfcpci  2273 drivers/isdn/hardware/mISDN/hfcpci.c 			main_rec_hfcpci(bch);
main_rec_hfcpci  2278 drivers/isdn/hardware/mISDN/hfcpci.c 			main_rec_hfcpci(bch);