132     spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_RAND);  in capture_additional_trng_samples()  local
133     uint32_t save = spin_lock_blocking(lock);  in capture_additional_trng_samples()
170     spin_unlock(lock, save);  in capture_additional_trng_samples()
207             spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_RAND);  in capture_additional_rosc_samples()  local
208             uint32_t save = spin_lock_blocking(lock);  in capture_additional_rosc_samples()
222             spin_unlock(lock, save);  in capture_additional_rosc_samples()
294     spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_RAND);  in initialise_rand()  local
295     uint32_t save = spin_lock_blocking(lock);  in initialise_rand()
317     spin_unlock(lock, save);  in initialise_rand()
357     spin_lock_t *lock = spin_lock_instance(PICO_SPINLOCK_ID_RAND);  in get_rand_64()  local
358     uint32_t save = spin_lock_blocking(lock);  in get_rand_64()
369     spin_unlock(lock, save);  in get_rand_64()