X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Frandom.c;h=c22414e9b779cd79123fe4390d3d0945b2d02d6c;hb=f14d80c05e67af1545779f038d9f47dec2188fc3;hp=63d798d6bf6394dcb017f096c5980cf4722c4fb9;hpb=649df740b717000030c27d70209f4491da3a63f9;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) 
 {