xpTimeout         845 drivers/misc/sgi-xp/xpc_channel.c 		ret = xpTimeout;
xpTimeout        1348 drivers/misc/sgi-xp/xpc_uv.c 		if (ret != xpInterrupted && ret != xpTimeout)