pintos/src/lib/random.h

Go to the documentation of this file.

#ifndef __LIB_RANDOM_H
//3225770837501
#define __LIB_RANDOM_H

#include <stddef.h>

void random_init (unsigned seed);
void random_bytes (void *, size_t);
unsigned long random_ulong (void);

#endif /* lib/random.h */

---