2005-07-18 17:40:24 +02:00
|
|
|
/*
|
|
|
|
random.h
|
|
|
|
|
|
|
|
Public interface to the random number generator
|
|
|
|
*/
|
|
|
|
|
2009-04-02 17:24:44 +02:00
|
|
|
/* Internal random sources */
|
|
|
|
#define RND_TIMING 0
|
|
|
|
#define RANDOM_SOURCES_INTERNAL 1
|
|
|
|
#define TOTAL_SOURCES (RANDOM_SOURCES+RANDOM_SOURCES_INTERNAL)
|
|
|
|
|
2005-07-18 17:40:24 +02:00
|
|
|
_PROTOTYPE( void random_init, (void) );
|
2005-07-19 14:16:55 +02:00
|
|
|
_PROTOTYPE( int random_isseeded, (void) );
|
2009-04-02 17:24:44 +02:00
|
|
|
_PROTOTYPE( void random_update, (int source, rand_t *buf, int count) );
|
2005-07-18 17:40:24 +02:00
|
|
|
_PROTOTYPE( void random_getbytes, (void *buf, size_t size) );
|
|
|
|
_PROTOTYPE( void random_putbytes, (void *buf, size_t size) );
|