Symbol: reset_hfcpci
drivers/isdn/hardware/mISDN/hfcpci.c
1738
reset_hfcpci(hc);
drivers/isdn/hardware/mISDN/hfcpci.c
1766
reset_hfcpci(hc);