Destroy PT pages in addrspace_destroy().
[pintos-anon] / src / lib / random.h
1 #ifndef HEADER_RANDOM_H
2 #define HEADER_RANDOM_H 1
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 /* random.h */