tag	line	file	source code
icn_readstatus	1324	drivers/isdn/icn/icn.c	return (icn_readstatus(buf, len, user, dev));
icn_readstatus	1329	drivers/isdn/icn/icn.c	return (icn_readstatus(buf, len, user, dev2));