tag	line	file	source code
ipx_device	15	include/linux/ipx.h	unsigned char ipx_device[16];
ipx_device	238	net/inet/ipx.c	dev=dev_get(r->ipx_device);