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