X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Frandom.c;h=6b02446014e1f71eb778f3c047fe43ee563ee6f2;hb=54ae6fa8f1ae7401652d282609848605fc283104;hp=7f892514ce09534842984cf8856698be06d7162c;hpb=7918636f05b058cf621cca1e6772e427b5eb736e;p=openvswitch

diff --git a/lib/random.c b/lib/random.c
index 7f892514..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)
 {