Searched refs:rte_red_rand_seed (Results 1 – 3 of 3) sorted by relevance
42 extern uint32_t rte_red_rand_seed;123 rte_red_rand_seed = (214013 * rte_red_rand_seed) + 2531011; in rte_fast_rand()124 return rte_red_rand_seed >> 10; in rte_fast_rand()
16 uint32_t rte_red_rand_seed = 0; /**< Seed for random number generation */ variable116 rte_red_rand_seed = rte_rand(); in rte_red_config_init()
8 rte_red_rand_seed;