Searched refs:random32 (Results 1 – 3 of 3) sorted by relevance
31 uint32 random32(void) { in random32() function73 ret = random32() & mask; in random_upto_internal()
11 uint32 random32(void);
897 n = random32() % (premax+1); in float32_case()920 n = random32() % 5; in float32_case()921 f = random32(); /* some random bits */ in float32_case()922 bits = random32() % 22 + 1; /* 1-22 */ in float32_case()940 f |= (random32() & 0xFF800000);/* FIXME - do better */ in float32_case()1061 n = (uint32) random32() % (uint32) (premax+1); in float64_case()1088 n = random32() % 5; in float64_case()1089 f = random32(); /* some random bits */ in float64_case()1090 g = random32(); /* some random bits */ in float64_case()1091 bits = random32() % 51 + 1; /* 1-51 */ in float64_case()[all …]