Home
last modified time | relevance | path

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

/hal_rpi_pico-3.7.0-3.6.0-3.5.0/src/rp2_common/pico_rand/
Drand.c288 uint64_t rand64 = xoroshiro128ss(&local_rng_state); in get_rand_64() local
293 return rand64; in get_rand_64()