Home
last modified time | relevance | path

Searched refs:php_random_status_state_xoshiro256starstar (Results 1 – 2 of 2) sorted by relevance

/php-src/ext/random/
H A Dengine_xoshiro256starstar.c45 static inline uint64_t generate_state(php_random_status_state_xoshiro256starstar *s) in generate_state()
62 static inline void jump(php_random_status_state_xoshiro256starstar *state, const uint64_t *jmp) in jump()
93 PHPAPI inline void php_random_xoshiro256starstar_seed64(php_random_status_state_xoshiro256starstar … in php_random_xoshiro256starstar_seed64()
123 php_random_status_state_xoshiro256starstar *s = state; in serialize()
136 php_random_status_state_xoshiro256starstar *s = state; in unserialize()
158 sizeof(php_random_status_state_xoshiro256starstar),
165 PHPAPI void php_random_xoshiro256starstar_jump(php_random_status_state_xoshiro256starstar *state) in php_random_xoshiro256starstar_jump()
171 PHPAPI void php_random_xoshiro256starstar_jump_long(php_random_status_state_xoshiro256starstar *sta… in php_random_xoshiro256starstar_jump_long()
181 php_random_status_state_xoshiro256starstar *state = engine.state; in PHP_METHOD()
193 php_random_status_state_xoshiro256starstar *state = engine.state; in PHP_METHOD()
[all …]
H A Dphp_random.h86 } php_random_status_state_xoshiro256starstar; typedef
189 PHPAPI void php_random_xoshiro256starstar_seed64(php_random_status_state_xoshiro256starstar *state,…
190 PHPAPI void php_random_xoshiro256starstar_seed256(php_random_status_state_xoshiro256starstar *state…
191 PHPAPI void php_random_xoshiro256starstar_jump(php_random_status_state_xoshiro256starstar *state);
192 PHPAPI void php_random_xoshiro256starstar_jump_long(php_random_status_state_xoshiro256starstar *sta…

Completed in 15 milliseconds