Searched refs:bus_counter_value (Results 1 – 1 of 1) sorted by relevance
270 uint32_t bus_counter_value = bus_ctrl_hw->counter[bus_counter_idx].value; in get_rand_64() local272 if (bus_counter_value == BUSCTRL_PERFCTR0_BITS) { in get_rand_64()275 local_rng_state.r[which] &= splitmix64(bus_counter_value); in get_rand_64()