Searched refs:os_random_seed (Results 1 – 4 of 4) sorted by relevance
72 static inline void os_random_seed(unsigned long seed, os_random_state_t *rs) in os_random_seed() function
194 static inline void os_random_seed(unsigned long seed, os_random_state_t *rs) in os_random_seed() function
153 static inline void os_random_seed(unsigned long seed, os_random_state_t *rs) in os_random_seed() function
282 static inline void os_random_seed(unsigned long seed, os_random_state_t *rs) in os_random_seed() function