Searched refs:random_set_seed (Results 1 – 3 of 3) sorted by relevance
84 random_set_seed(1234);133 random_set_seed(1234);172 random_set_seed(1234);
33 extern void random_set_seed(uint64_t seed);
62 random_set_seed(uint64_t seed) in random_set_seed() function