4 Public interface to the random number generator
7 /* Internal random sources */
9 #define RANDOM_SOURCES_INTERNAL 1
10 #define TOTAL_SOURCES (RANDOM_SOURCES+RANDOM_SOURCES_INTERNAL)
12 void random_init(void);
13 int random_isseeded(void);
14 void random_update(int source
, rand_t
*buf
, int count
);
15 void random_getbytes(void *buf
, size_t size
);
16 void random_putbytes(void *buf
, size_t size
);