Searched refs:php_random_status_state_xoshiro256starstar (Results 1 – 2 of 2) sorted by relevance
44 static inline uint64_t generate_state(php_random_status_state_xoshiro256starstar *s) in generate_state()61 static inline void jump(php_random_status_state_xoshiro256starstar *state, const uint64_t *jmp) in jump()86 php_random_status_state_xoshiro256starstar *s = status->state; in seed256()118 php_random_status_state_xoshiro256starstar *s = status->state; in serialize()131 php_random_status_state_xoshiro256starstar *s = status->state; in unserialize()154 sizeof(php_random_status_state_xoshiro256starstar),162 PHPAPI void php_random_xoshiro256starstar_jump(php_random_status_state_xoshiro256starstar *state) in php_random_xoshiro256starstar_jump()168 PHPAPI void php_random_xoshiro256starstar_jump_long(php_random_status_state_xoshiro256starstar *sta… in php_random_xoshiro256starstar_jump_long()178 php_random_status_state_xoshiro256starstar *state = engine->status->state; in PHP_METHOD()190 php_random_status_state_xoshiro256starstar *state = engine->status->state; in PHP_METHOD()[all …]
242 } php_random_status_state_xoshiro256starstar; typedef328 PHPAPI void php_random_xoshiro256starstar_jump(php_random_status_state_xoshiro256starstar *state);329 PHPAPI void php_random_xoshiro256starstar_jump_long(php_random_status_state_xoshiro256starstar *sta…
Completed in 9 milliseconds