898 static inline u32 prandom_u32_below(struct rnd_state *rng, u32 ceil)  in prandom_u32_below()  function
909 	return prandom_u32_below(rng, 2);  in prandom_bool()
915 	return floor + prandom_u32_below(rng, ceil - floor + 1);  in prandom_u32_inclusive()
922 	unsigned int len = prandom_u32_below(rng, max_len + 1);  in generate_random_length()
924 	switch (prandom_u32_below(rng, 4)) {  in generate_random_length()
937 	if (len && prandom_u32_below(rng, 4) == 0)  in generate_random_length()
947 	bitpos = prandom_u32_below(rng, size * 8);  in flip_random_bit()
954 	buf[prandom_u32_below(rng, size)] ^= 0xff;  in flip_random_byte()
964 	if (prandom_u32_below(rng, 4) == 0) {  in mutate_buffer()
965 		num_flips = min_t(size_t, 1 << prandom_u32_below(rng, 8),  in mutate_buffer()
972 	if (prandom_u32_below(rng, 4) == 0) {  in mutate_buffer()
973 		num_flips = min_t(size_t, 1 << prandom_u32_below(rng, 8), size);  in mutate_buffer()
989 	switch (prandom_u32_below(rng, 8)) { /* Choose a generation strategy */  in generate_random_bytes()
993 		switch (prandom_u32_below(rng, 4)) {  in generate_random_bytes()
1035 		else if (prandom_u32_below(rng, 4) == 0)  in generate_random_sgl_divisions()
1041 		if (prandom_u32_below(rng, 4) == 0)  in generate_random_sgl_divisions()
1046 			div->offset = prandom_u32_below(rng, 32);  in generate_random_sgl_divisions()
1048 			div->offset = prandom_u32_below(rng, PAGE_SIZE);  in generate_random_sgl_divisions()
1049 		if (prandom_u32_below(rng, 8) == 0)  in generate_random_sgl_divisions()
1054 			switch (prandom_u32_below(rng, 4)) {  in generate_random_sgl_divisions()
1114 	switch (prandom_u32_below(rng, 4)) {  in generate_random_testvec_config()
1134 	switch (prandom_u32_below(rng, 4)) {  in generate_random_testvec_config()
1740 		if (prandom_u32_below(rng, 4) == 0)  in generate_random_hash_testvec()
2351 				  prandom_u32_below(rng, 4) == 0);  in generate_aead_message()
2424 	if (prandom_u32_below(rng, 4) == 0)  in generate_random_aead_testvec()
2425 		vec->klen = prandom_u32_below(rng, maxkeysize + 1);  in generate_random_aead_testvec()
2434 	if (prandom_u32_below(rng, 4) == 0)  in generate_random_aead_testvec()
2435 		authsize = prandom_u32_below(rng, maxauthsize + 1);  in generate_random_aead_testvec()
2445 	if (prandom_u32_below(rng, 4) == 0)  in generate_random_aead_testvec()
3063 	if (prandom_u32_below(rng, 4) == 0)  in generate_random_cipher_testvec()
3064 		vec->klen = prandom_u32_below(rng, maxkeysize + 1);  in generate_random_cipher_testvec()