Searched refs:rand64 (Results 1 – 1 of 1) sorted by relevance
288 uint64_t rand64 = xoroshiro128ss(&local_rng_state); in get_rand_64() local293 return rand64; in get_rand_64()