mt_rand_is_seeded  795 ext/spl/php_spl.c 		if (!BG(mt_rand_is_seeded)) {
mt_rand_is_seeded 3443 ext/standard/basic_functions.c 	BG(mt_rand_is_seeded) = 0;
mt_rand_is_seeded  200 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)) {