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