tag	line	file	source code
dev_tint	684	net/inet/dev.c	void dev_tint(struct device *dev)
dev_tint	607	net/socket/dev.c	void dev_tint(struct device *dev)