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