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
412 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;
H A Dphp_random.h166 PHPAPI void *php_random_default_status(void);
172 .state = php_random_default_status(), in php_random_default_engine()

Completed in 15 milliseconds