tag	line	file	source code
icn_sendbuf	1335	drivers/isdn/icn/icn.c	return (icn_sendbuf(channel, buffer, len, user, dev));
icn_sendbuf	1341	drivers/isdn/icn/icn.c	return (icn_sendbuf(channel, buffer, len, user, dev2));