Searched refs:random256_get_double (Results 1 – 2 of 2) sorted by relevance
54 static double random256_get_double (void *vstate);197 random256_get_double (void *vstate) in random256_get_double() function523 &random256_get_double};577 &random256_get_double};631 &random256_get_double};