rand_initialized  680 ext/gmp/gmp.c  	gmp_globals->rand_initialized = 0;
rand_initialized  724 ext/gmp/gmp.c  	if (GMPG(rand_initialized)) {
rand_initialized  726 ext/gmp/gmp.c  		GMPG(rand_initialized) = 0;
rand_initialized 1779 ext/gmp/gmp.c  	if (!GMPG(rand_initialized)) {
rand_initialized 1789 ext/gmp/gmp.c  		GMPG(rand_initialized) = 1;
rand_initialized   81 ext/gmp/php_gmp.h 	zend_bool rand_initialized;