rand_initialized  636 ext/gmp/gmp.c  	gmp_globals->rand_initialized = 0;
rand_initialized  682 ext/gmp/gmp.c  	if (GMPG(rand_initialized)) {
rand_initialized  684 ext/gmp/gmp.c  		GMPG(rand_initialized) = 0;
rand_initialized 1750 ext/gmp/gmp.c  	if (!GMPG(rand_initialized)) {
rand_initialized 1756 ext/gmp/gmp.c  		GMPG(rand_initialized) = 1;
rand_initialized   94 ext/gmp/php_gmp.h 	zend_bool rand_initialized;