php_mt_srand      771 ext/spl/php_spl.c 			php_mt_srand((uint32_t)GENERATE_SEED());
php_mt_srand       58 ext/standard/php_rand.h PHPAPI void php_mt_srand(php_uint32 seed);
php_mt_srand      256 ext/standard/rand.c 	php_mt_srand(seed);
php_mt_srand      327 ext/standard/rand.c 		php_mt_srand(GENERATE_SEED());