win32.c
changeset 2140 d708eb80ab8b
parent 2139 863a14d0c7a2
child 2160 10a1718175af
--- 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();