From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 4 Jan 2006 21:21:50 +0000 (+0000)
Subject: Helpful comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=56e381bef39fa0bc64cb1288c94acf9779dfff62;p=pintos-anon

Helpful comment.
Via Megan Anneke Wachs <wachs@stanford.edu>.
---

diff --git a/src/lib/random.c b/src/lib/random.c
index 63d798d..c22414e 100644
--- a/src/lib/random.c
+++ b/src/lib/random.c
@@ -73,7 +73,9 @@ random_bytes (void *buf_, size_t size)
     }
 }
 
-/* Returns a pseudo-random unsigned long. */
+/* Returns a pseudo-random unsigned long.
+   Use random_ulong() % n to obtain a random number in the range
+   0...n (exclusive). */
 unsigned long
 random_ulong (void) 
 {