tag	line	file	source code
ipxrtr_device_down	321	net/inet/dev.c	ipxrtr_device_down(dev);
ipxrtr_device_down	67	net/inet/ipx.h	extern void ipxrtr_device_down(struct device *dev);