Searched refs:php_random_default_status (Results 1 – 2 of 2) sorted by relevance
312 PHPAPI void *php_random_default_status(void) in php_random_default_status() function412 php_random_mt19937_seed32(php_random_default_status(), seed);419 return (uint32_t) php_random_algo_mt19937.generate(php_random_default_status()).result;426 return php_random_algo_mt19937.range(php_random_default_status(), min, max);434 php_random_status_state_mt19937 *s = php_random_default_status();440 uint64_t r = php_random_algo_mt19937.generate(php_random_default_status()).result >> 1;
166 PHPAPI void *php_random_default_status(void);172 .state = php_random_default_status(), in php_random_default_engine()
Completed in 15 milliseconds