17 lines
415 B
C
17 lines
415 B
C
/*
|
|
random.h
|
|
|
|
Public interface to the random number generator
|
|
*/
|
|
|
|
/* Internal random sources */
|
|
#define RND_TIMING 0
|
|
#define RANDOM_SOURCES_INTERNAL 1
|
|
#define TOTAL_SOURCES (RANDOM_SOURCES+RANDOM_SOURCES_INTERNAL)
|
|
|
|
void random_init(void);
|
|
int random_isseeded(void);
|
|
void random_update(int source, rand_t *buf, int count);
|
|
void random_getbytes(void *buf, size_t size);
|
|
void random_putbytes(void *buf, size_t size);
|