include/random.h

   1 #pragma once
   2
   3 #include "types.h"
   4
   5 extern unsigned int seed;
   6 unsigned int init_seed(unsigned int seed);
   7 void set_seed(unsigned int pidslot);
   8 void reseed(void);
   9 unsigned int new_seed(void);
  10
  11 unsigned int rand_bool(void);
  12 unsigned int rand32(void);
  13 u64 rand64(void);
  14
  15 void generate_random_page(char *page);