reset_hfcpci     1731 drivers/isdn/hardware/mISDN/hfcpci.c 	reset_hfcpci(hc);
reset_hfcpci     1759 drivers/isdn/hardware/mISDN/hfcpci.c 				reset_hfcpci(hc);