ranval            163 scripts/gcc-plugins/randomize_layout_plugin.c 		(void)ranval(x);
ranval            220 scripts/gcc-plugins/randomize_layout_plugin.c 		randnum = ranval(prng_state) % (i + 1);
ranval            231 scripts/gcc-plugins/randomize_layout_plugin.c 			randnum = ranval(prng_state) % (i + 1);
ranval            248 scripts/gcc-plugins/randomize_layout_plugin.c 		randnum = ranval(prng_state) % (i + 1);