drivers/random/random.h

   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);