xpc_received      159 drivers/misc/sgi-xp/xpnet.c 		xpc_received(partid, channel, (void *)msg);
xpc_received      174 drivers/misc/sgi-xp/xpnet.c 		xpc_received(partid, channel, (void *)msg);
xpc_received      224 drivers/misc/sgi-xp/xpnet.c 			xpc_received(partid, channel, (void *)msg);
xpc_received      250 drivers/misc/sgi-xp/xpnet.c 	xpc_received(partid, channel, (void *)msg);