Searched refs:random32_get_double (Results 1 – 2 of 2) sorted by relevance
51 static double random32_get_double (void *vstate);179 random32_get_double (void *vstate) in random32_get_double() function496 &random32_get_double};550 &random32_get_double};604 &random32_get_double};