tag	line	file	source code
dev_tint	113	net/tcp/dev.h	unsigned long dev_tint (unsigned char *buff, struct device *dev);
dev_tint	107	net/tcp/loopback.c	if (done != -1 && (i = dev_tint (buff,dev)) != 0)
dev_tint	494	net/tcp/we.c	len = dev_tint( (unsigned char *)dev->mem_start, dev );