tag	line	file	source code
ipx_device_name	693	net/ipx/af_ipx.c	static const char * ipx_device_name(ipx_interface *);
ipx_device_name	732	net/ipx/af_ipx.c	ipx_device_name(i),
ipx_device_name	734	net/ipx/af_ipx.c	ipx_device_name(intrfc),
ipx_device_name	1341	net/ipx/af_ipx.c	len += sprintf (buffer+len, "%-11s", ipx_device_name(i));