X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Frandom.c;h=6b02446014e1f71eb778f3c047fe43ee563ee6f2;hb=a3e2d85f8f3a8b3220c0a834cc0fd9519e6b5b85;hp=88ddb4a57824e9d7440a6b90b4fd76338d50362b;hpb=10df718e73122df2f3b04ed585e50e4b299a8cbd;p=openvswitch

diff --git a/lib/random.c b/lib/random.c
index 88ddb4a5..6b024460 100644
--- a/lib/random.c
+++ b/lib/random.c
@@ -17,6 +17,7 @@
 #include <config.h>
 #include "random.h"
 
+#include <assert.h>
 #include <errno.h>
 #include <stdlib.h>
 #include <sys/time.h>
@@ -56,6 +57,13 @@ random_init(void)
     }
 }
 
+void
+random_set_seed(uint32_t seed_)
+{
+    assert(seed_);
+    seed = seed_;
+}
+
 void
 random_bytes(void *p_, size_t n)
 {
@@ -103,7 +111,7 @@ static uint32_t
 random_next(void)
 {
     seed ^= seed << 13;
-    seed >>= 17;
+    seed ^= seed >> 17;
     seed ^= seed << 5;
 
     return seed;