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.c313 PHPAPI void *php_random_default_status(void) in php_random_default_status() function
443 php_random_mt19937_seed32(php_random_default_status(), seed);
450 return (uint32_t) php_random_algo_mt19937.generate(php_random_default_status()).result;
457 return php_random_algo_mt19937.range(php_random_default_status(), min, max);
465 php_random_status_state_mt19937 *s = php_random_default_status();
471 uint64_t r = php_random_algo_mt19937.generate(php_random_default_status()).result >> 1;
H A Dphp_random.h161 PHPAPI void *php_random_default_status(void);
167 raws.state = php_random_default_status(); in php_random_default_engine()

Completed in 12 milliseconds