Searched refs:rdseed_high (Results 1 – 1 of 1) sorted by relevance
190 unsigned int rdseed_high; in __rte_random_initial_seed() local194 _rdseed32_step(&rdseed_high) == 1) in __rte_random_initial_seed()195 return (uint64_t)rdseed_low | ((uint64_t)rdseed_high << 32); in __rte_random_initial_seed()