8   threefry4x64_ctr_t counter;  member
32   r123->counter.v[0] = 0;  in PetscRandomSeed_Random123()
33   r123->counter.v[1] = 1;  in PetscRandomSeed_Random123()
34   r123->counter.v[2] = 2;  in PetscRandomSeed_Random123()
35   r123->counter.v[3] = 3;  in PetscRandomSeed_Random123()
36   r123->result       = threefry4x64(r123->counter, r123->key);  in PetscRandomSeed_Random123()
51     r123->counter.v[0] += 4;  in PetscRandom123Step()
52     r123->counter.v[1] += 4;  in PetscRandom123Step()
53     r123->counter.v[2] += 4;  in PetscRandom123Step()
54     r123->counter.v[3] += 4;  in PetscRandom123Step()
55     r123->result = threefry4x64(r123->counter, r123->key);  in PetscRandom123Step()
128     r123_copy.counter.v[0] += 4;  in PetscRandomGetValuesReal_Random123()
129     r123_copy.counter.v[1] += 4;  in PetscRandomGetValuesReal_Random123()
130     r123_copy.counter.v[2] += 4;  in PetscRandomGetValuesReal_Random123()
131     r123_copy.counter.v[3] += 4;  in PetscRandomGetValuesReal_Random123()
132     r123_copy.result = threefry4x64(r123->counter, r123->key);  in PetscRandomGetValuesReal_Random123()