1 /* 2 random.h 3 4 Public interface to the random number generator 5 */ 6 7 /* Internal random sources */ 8 #define RND_TIMING 0 9 #define RANDOM_SOURCES_INTERNAL 1 10 #define TOTAL_SOURCES (RANDOM_SOURCES+RANDOM_SOURCES_INTERNAL) 11 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); 17