mt_rand_is_seeded  770 ext/spl/php_spl.c 		if (!BG(mt_rand_is_seeded)) {
mt_rand_is_seeded 3453 ext/standard/basic_functions.c 	BG(mt_rand_is_seeded) = 0;
mt_rand_is_seeded  203 ext/standard/basic_functions.h 	zend_bool mt_rand_is_seeded; /* Whether mt_rand() has been seeded */
mt_rand_is_seeded  202 ext/standard/rand.c 	BG(mt_rand_is_seeded) = 1;
mt_rand_is_seeded  326 ext/standard/rand.c 	if (!BG(mt_rand_is_seeded)) {