release_io_hfcmulti 4669 drivers/isdn/hardware/mISDN/hfcmulti.c 	release_io_hfcmulti(hc);
release_io_hfcmulti 5252 drivers/isdn/hardware/mISDN/hfcmulti.c 	release_io_hfcmulti(hc);