Home
last modified time | relevance | path

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

/PHP-8.2/ext/random/
H A Drandom.c332 PHPAPI php_random_status *php_random_default_status(void) in php_random_default_status() function
431 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;
H A Dphp_random.h295 PHPAPI php_random_status *php_random_default_status(void);
/PHP-8.2/ext/standard/
H A Darray.c2980 php_array_data_shuffle(php_random_default_algo(), php_random_default_status(), array);
5971 php_random_default_status(),
H A Dstring.c5759 php_random_default_status(),

Completed in 78 milliseconds