tag	line	file	source code
ipx_device_name	551	net/ipx/af_ipx.c	static char * ipx_device_name(ipx_interface *);
ipx_device_name	574	net/ipx/af_ipx.c	ipx_device_name(i),
ipx_device_name	576	net/ipx/af_ipx.c	ipx_device_name(intrfc),
ipx_device_name	1139	net/ipx/af_ipx.c	len += sprintf (buffer+len, "%-11s", ipx_device_name(i));