66 static __noinline uint64_t splitmix64(uint64_t x) {  in splitmix64()  function
238     local_rng_state.r[which] ^= splitmix64(ram_hash);  in initialise_rand()
253     local_rng_state.r[which] ^= splitmix64(unique_id.board_id_u64);  in initialise_rand()
268 … local_rng_state.r[which] ^= splitmix64(capture_additional_rosc_samples(8 * sizeof(rosc_samples)));  in initialise_rand()
279     local_rng_state.r[which] ^= splitmix64(br.u64[0]);  in initialise_rand()
280     local_rng_state.r[which ^ 1] ^= splitmix64(br.u64[1]);  in initialise_rand()
286     local_rng_state.r[which] ^= splitmix64(time_us_64());  in initialise_rand()
290     local_rng_state.r[which] ^= splitmix64(capture_additional_trng_samples());  in initialise_rand()
335     local_rng_state.r[which] ^= splitmix64(time_us_64());  in get_rand_64()
339 …local_rng_state.r[which] ^= splitmix64(capture_additional_rosc_samples(PICO_RAND_ROSC_BIT_SAMPLE_C…  in get_rand_64()
344     local_rng_state.r[which] ^= splitmix64(foo);  in get_rand_64()
353     local_rng_state.r[which] ^= splitmix64(bus_counter_value);  in get_rand_64()