tag	line	file	source code
icn_release_channel	623	drivers/isdn/icn/icn.c	icn_release_channel();
icn_release_channel	729	drivers/isdn/icn/icn.c	icn_release_channel();
icn_release_channel	742	drivers/isdn/icn/icn.c	icn_release_channel();
icn_release_channel	830	drivers/isdn/icn/icn.c	icn_release_channel();
icn_release_channel	1017	drivers/isdn/icn/icn.c	icn_release_channel();