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

diff --git a/lib/random.h b/lib/random.h
index 198adeab..eaac1437 100644
--- a/lib/random.h
+++ b/lib/random.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2008, 2009 Nicira Networks.
+ * Copyright (c) 2008, 2009, 2010, 2012 Nicira, Inc.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -21,10 +21,13 @@
 #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);
 uint32_t random_uint32(void);
+uint64_t random_uint64(void);
 int random_range(int max);
 
 #endif /* random.h */