Home
last modified time | relevance | path

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

/hal_rpi_pico-latest/test/pico_test/include/pico/test/
Dxrand.h48 } xrand_state_t; typedef
50 static inline uint64_t xrand_next(xrand_state_t *s) { in xrand_next()
67 static inline void xrand_jump(xrand_state_t *s) { in xrand_jump()
86 #define XRAND_DEFAULT_INIT (xrand_state_t){0xfb11ab871044f128ull, 0x365396cb1df2665dull}
/hal_rpi_pico-latest/test/hardware_sync_spin_lock_test/
Dhardware_sync_spin_lock_test.c76 xrand_state_t state = XRAND_DEFAULT_INIT; in counter_test_per_core()
95 xrand_state_t state = XRAND_DEFAULT_INIT; in counter_try_test_per_core()