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