Lines Matching defs:v3
62 v2 += v3; \
63 v3 = ROTL(v3, 16); \
64 v3 ^= v2; \
65 v0 += v3; \
66 v3 = ROTL(v3, 21); \
67 v3 ^= v0; \
83 printf("(%3d) v3 %08x %08x\n", (int)inlen, (uint32_t)(v3 >> 32), \
84 (uint32_t)v3); \
96 uint64_t v3 = 0x7465646279746573ULL;
108 v3 ^= k1;
118 v3 ^= m;
165 v3 ^= b;
182 b = v0 ^ v1 ^ v2 ^ v3;
194 b = v0 ^ v1 ^ v2 ^ v3;