11 static uint32 seedbuf[55];
14 void seed_random(uint32 seed) {  in seed_random()
24 uint32 base_random(void) {  in base_random()
30 uint32 random32(void) {  in random32()
31     uint32 a, b, b1, b2;  in random32()
35         uint32 b3 = b1 | b2;  in random32()
60 static uint32 random_upto_makemask(uint32 limit) {  in random_upto_makemask()
61     uint32 mask = 0xFFFFFFFF;  in random_upto_makemask()
69 static uint32 random_upto_internal(uint32 limit, uint32 mask) {  in random_upto_internal()
70     uint32 ret;  in random_upto_internal()
77 uint32 random_upto(uint32 limit) {  in random_upto()
78     uint32 mask = random_upto_makemask(limit);  in random_upto()
82 uint32 random_upto_biased(uint32 limit, int bias) {  in random_upto_biased()
83     uint32 mask = random_upto_makemask(limit);  in random_upto_biased()
85     uint32 ret = random_upto_internal(limit, mask);  in random_upto_biased()
87         uint32 tmp;  in random_upto_biased()