Searched refs:php_random_default_status (Results 1 – 2 of 2) sorted by last modified time
312 PHPAPI void *php_random_default_status(void) in php_random_default_status() function410 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;
167 PHPAPI void *php_random_default_status(void);173 .state = php_random_default_status(), in php_random_default_engine()
Completed in 8 milliseconds