X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Frandom.c;fp=src%2Flib%2Frandom.c;h=c22414e9b779cd79123fe4390d3d0945b2d02d6c;hb=56e381bef39fa0bc64cb1288c94acf9779dfff62;hp=63d798d6bf6394dcb017f096c5980cf4722c4fb9;hpb=269b497e5a50effc8230ac3e91cf6d8b862659a0;p=pintos-anon

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) 
 {