Home
last modified time | relevance | path

Searched defs:jmp (Results 1 – 1 of 1) sorted by relevance

/php-src/ext/random/
H A Dengine_xoshiro256starstar.c62 static inline void jump(php_random_status_state_xoshiro256starstar *state, const uint64_t *jmp) in jump()
167 …static const uint64_t jmp[] = {0x180ec6d33cfd0aba, 0xd5a61266f0c9392c, 0xa9582618e03fc9aa, 0x39abd… in php_random_xoshiro256starstar_jump() local
173 …static const uint64_t jmp[] = {0x76e15d3efefdcbbf, 0xc5004e441c522fb3, 0x77710069854ee241, 0x39109… in php_random_xoshiro256starstar_jump_long() local

Completed in 8 milliseconds