Home
last modified time | relevance | path

Searched refs:php_random_range64 (Results 1 – 3 of 3) sorted by relevance

/php-src/ext/random/
H A Dgammasection.c83 uint64_t k = 1 + php_random_range64(engine, hi - 1); /* [1, hi] */ in php_random_gammasection_closed_open()
111 uint64_t k = php_random_range64(engine, hi); /* [0, hi] */ in php_random_gammasection_closed_closed()
143 uint64_t k = php_random_range64(engine, hi - 1); /* [0, hi - 1] */ in php_random_gammasection_open_closed()
171 uint64_t k = 1 + php_random_range64(engine, hi - 2); /* [1, hi - 1] */ in php_random_gammasection_open_open()
H A Dphp_random.h158 PHPAPI uint64_t php_random_range64(php_random_algo_with_state engine, uint64_t umax);
H A Drandom.c139 PHPAPI uint64_t php_random_range64(php_random_algo_with_state engine, uint64_t umax) in php_random_range64() function
298 return (zend_long) (php_random_range64(engine, umax) + min); in php_random_range()

Completed in 21 milliseconds