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