pintos-doxygen/html/random_8h_source.html

#ifndef __LIB_RANDOM_H

#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 */

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