Searched refs:random_seed (Results 1 – 1 of 1) sorted by relevance
107 static unsigned short random_seed[3]; variable806 double frac = erand48(random_seed); in determine_before_after()834 random_seed[0] = seed & 0xffff; in set_seed()835 random_seed[1] = (seed >> 16); in set_seed()836 random_seed[2] = (random_seed[0] ^ random_seed[1]); in set_seed()