Home
last modified time | relevance | path

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

/php-src/ext/random/
H A Dengine_mt19937.c128 PHPAPI inline void php_random_mt19937_seed32(php_random_status_state_mt19937 *state, uint32_t seed) in php_random_mt19937_seed32() function
248 php_random_mt19937_seed32(state, seed); in php_random_mt19937_seed_default()
287 php_random_mt19937_seed32(state, seed); in PHP_METHOD()
H A Dphp_random.h174 PHPAPI void php_random_mt19937_seed32(php_random_status_state_mt19937 *state, uint32_t seed);
H A Drandom.c443 php_random_mt19937_seed32(php_random_default_status(), seed);
517 php_random_mt19937_seed32(state, (uint64_t) seed);

Completed in 15 milliseconds