Searched refs:to_res53_mix (Results 1 – 1 of 1) sorted by relevance
126 static inline double to_res53_mix(uint32_t x, uint32_t y) { in to_res53_mix() function144 return to_res53_mix(x, y); in genrand_res53_mix()