CS318 - Pintos
Pintos source browser for JHU CS318 course
random.h
Go to the documentation of this file.
1 #ifndef __LIB_RANDOM_H
2 #define __LIB_RANDOM_H
3 
4 #include <stddef.h>
5 
6 void random_init (unsigned seed);
7 void random_bytes (void *, size_t);
8 unsigned long random_ulong (void);
9 
10 #endif /**< lib/random.h */
random_ulong
unsigned long random_ulong(void)
lib/random.h
Definition: random.c:78
random_bytes
void random_bytes(void *, size_t)
Writes SIZE random bytes into BUF.
Definition: random.c:54
random_init
void random_init(unsigned seed)
Initializes or reinitializes the PRNG with the given SEED.
Definition: random.c:34
stddef.h