Searched defs:jmp (Results 1 – 1 of 1) sorted by relevance
62 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() local173 …static const uint64_t jmp[] = {0x76e15d3efefdcbbf, 0xc5004e441c522fb3, 0x77710069854ee241, 0x39109… in php_random_xoshiro256starstar_jump_long() local
Completed in 14 milliseconds