win32.c
changeset 2140 a04d0142ad65
parent 2139 63d965b6e229
child 2160 981e2e09cb2a
--- a/win32.c	Wed Jul 20 09:49:04 2005 +0000
+++ b/win32.c	Wed Jul 20 15:29:28 2005 +0000
@@ -2142,8 +2142,8 @@
 #if defined(_MSC_VER)
 	{
 		uint64 seed = rdtsc();
-		_random_seeds[0][0] = seed & 0xffffffff;
-		_random_seeds[0][1] = seed >> 32;
+		_random_seeds[0][0] = GB(seed,  0, 32);
+		_random_seeds[0][1] = GB(seed, 32, 32);
 	}
 #else
 	_random_seeds[0][0] = GetTickCount();