X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Frandom.h;h=c698638597a4977f334b98dbce02d1c47d3e21d6;hb=777507385a993b3ca072c512dac30ba1e6354b42;hp=198adeabfa68d8be11def6fc5397b346f17ecedd;hpb=34e63086edddcae06d7c1a4fa84fec0861e50758;p=openvswitch

diff --git a/lib/random.h b/lib/random.h
index 198adeab..c6986385 100644
--- a/lib/random.h
+++ b/lib/random.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2008, 2009 Nicira Networks.
+ * Copyright (c) 2008, 2009, 2010 Nicira Networks.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -21,6 +21,8 @@
 #include <stdint.h>
 
 void random_init(void);
+void random_set_seed(uint32_t);
+
 void random_bytes(void *, size_t);
 uint8_t random_uint8(void);
 uint16_t random_uint16(void);