X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Frandom.h;h=21aef7c96191cdac332a8a3aec0d4ded141de3f5;hb=60d7d619ee7885ad065f178eb0cf1e5d432b1921;hp=b76f2e4590985935114425e0feb3ec1b56524e65;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/random.h b/src/random.h
index b76f2e4590..21aef7c961 100644
--- a/src/random.h
+++ b/src/random.h
@@ -20,9 +20,17 @@
 #if !random_h
 #define random_h 1
 
-void setup_randomize (void);
-double rand_uniform (double x);
-double rand_normal (double x);
-int rand_simple (int x);
+#include <stddef.h>
+
+struct rng *rng_create (void);
+void rng_destroy (struct rng *);
+void rng_seed (struct rng *, const void *, size_t);
+void rng_get_bytes (struct rng *, void *, size_t);
+int rng_get_int (struct rng *);
+unsigned rng_get_unsigned (struct rng *);
+double rng_get_double (struct rng *);
+double rng_get_double_normal (struct rng *);
+
+struct rng *pspp_rng (void);
 
 #endif /* random.h */