XPNET_DEVICE_NAME  521 drivers/misc/sgi-xp/xpnet.c 	dev_info(xpnet, "registering network device %s\n", XPNET_DEVICE_NAME);
XPNET_DEVICE_NAME  533 drivers/misc/sgi-xp/xpnet.c 	xpnet_device = alloc_netdev(0, XPNET_DEVICE_NAME, NET_NAME_UNKNOWN,