Searched refs:php_random_range64 (Results 1 – 3 of 3) sorted by relevance
| /php-src/ext/random/ |
| H A D | gammasection.c | 83 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 D | php_random.h | 164 PHPAPI uint64_t php_random_range64(php_random_algo_with_state engine, uint64_t umax);
|
| H A D | random.c | 138 PHPAPI uint64_t php_random_range64(php_random_algo_with_state engine, uint64_t umax) in php_random_range64() function
297 return (zend_long) (php_random_range64(engine, umax) + min); in php_random_range()
|
Completed in 14 milliseconds
