pintos/src/lib/random.h File Reference

#include <stddef.h>

Go to the source code of this file.

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

---

Function Documentation

void random_bytes	(	void *	,
		size_t
	)

Definition at line 55 of file random.c.

References buf, inited, random_init(), s, s_i, s_j, and swap_byte().

Referenced by main(), random_ulong(), seq_test(), and test_main().

void random_init

(

unsigned

seed

)

Definition at line 35 of file random.c.

References inited, s, s_i, s_j, and swap_byte().

Referenced by consume_some_resources_and_die(), main(), parse_options(), random_bytes(), and test_main().

unsigned long random_ulong

(

void

)

Definition at line 79 of file random.c.

References random_bytes().

Referenced by consume_some_resources_and_die(), expand(), pick_pivot(), shuffle(), test(), and write_some_bytes().