Searched refs:random64_get_double (Results 1 – 2 of 2) sorted by relevance
52 static double random64_get_double (void *vstate);185 random64_get_double (void *vstate) in random64_get_double() function505 &random64_get_double};559 &random64_get_double};613 &random64_get_double};