tag	line	file	source code
icn_release_channel	616	drivers/isdn/icn/icn.c	icn_release_channel();
icn_release_channel	722	drivers/isdn/icn/icn.c	icn_release_channel();
icn_release_channel	735	drivers/isdn/icn/icn.c	icn_release_channel();
icn_release_channel	823	drivers/isdn/icn/icn.c	icn_release_channel();
icn_release_channel	1008	drivers/isdn/icn/icn.c	icn_release_channel();