Searched refs:bus_counter_value (Results 1 – 1 of 1) sorted by relevance
348 uint32_t bus_counter_value = busctrl_hw->counter[bus_counter_idx].value; in get_rand_64() local350 if (bus_counter_value == BUSCTRL_PERFCTR0_BITS) { in get_rand_64()353 local_rng_state.r[which] ^= splitmix64(bus_counter_value); in get_rand_64()