Home
last modified time | relevance | path

Searched refs:php_random_default_status (Results 1 – 2 of 2) sorted by relevance

/php-src/ext/random/
H A Drandom.c312 PHPAPI void *php_random_default_status(void) in php_random_default_status() function
410 php_random_mt19937_seed32(php_random_default_status(), seed);
417 return (uint32_t) php_random_algo_mt19937.generate(php_random_default_status()).result;
424 return php_random_algo_mt19937.range(php_random_default_status(), min, max);
432 php_random_status_state_mt19937 *s = php_random_default_status();
438 uint64_t r = php_random_algo_mt19937.generate(php_random_default_status()).result >> 1;
H A Dphp_random.h167 PHPAPI void *php_random_default_status(void);
173 .state = php_random_default_status(), in php_random_default_engine()

Completed in 8 milliseconds