Searched refs:php_random_default_status (Results 1 – 4 of 4) sorted by relevance
332 PHPAPI php_random_status *php_random_default_status(void) in php_random_default_status() function431 php_random_algo_mt19937.seed(php_random_default_status(), (zend_long) seed);438 return (uint32_t) php_random_algo_mt19937.generate(php_random_default_status());445 return php_random_algo_mt19937.range(php_random_default_status(), min, max);453 php_random_status *status = php_random_default_status();460 uint64_t r = php_random_algo_mt19937.generate(php_random_default_status()) >> 1;
295 PHPAPI php_random_status *php_random_default_status(void);
2980 php_array_data_shuffle(php_random_default_algo(), php_random_default_status(), array);5971 php_random_default_status(),
5759 php_random_default_status(),
Completed in 39 milliseconds