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