tag	line	file	source code
dev_tint	332	net/tcp/dev.c	dev_tint (dev);
dev_tint	120	net/tcp/dev.h	void dev_tint ( struct device *dev);
dev_tint	484	net/tcp/we.c	len = dev_tint( (unsigned char *)dev->mem_start, dev );