Lines Matching defs:r2
75 // uint64_t r0,r1,r2; [24 bytes]
95 uint64_t r0, r1, r2;
106 r2 = t1 & 0x00ffffffc0f;
114 p->R22.d[1] = (uint32_t)(r2);
115 p->R22.d[3] = (uint32_t)(r2 >> 32);
142 uint64_t r0, r1, r2;
153 r2 = ((uint64_t)p->R22.d[3] << 32) | (uint64_t)p->R22.d[1];
160 r22 = r2;
207 p->R22.d[1] = (uint32_t)(r2);
208 p->R22.d[3] = (uint32_t)(r2 >> 32);
429 uint64_t r0, r1, r2;
545 r2 = ((uint64_t)p->R22.d[3] << 32) | (uint64_t)p->R22.d[1];
550 p->R23.d[2] = (uint32_t)((r1 >> 34) | (r2 << 10)) & 0x3ffffff;
551 p->R24.d[2] = (uint32_t)((r2 >> 16));
722 uint64_t r0, r1, r2, s1, s2;
739 r2 = ((uint64_t)p->R22.d[3] << 32) | (uint64_t)p->R22.d[1];
741 s2 = r2 * (5 << 2);
760 d[2] = add128(add128(mul64x64_128(h0, r2), mul64x64_128(h1, r1)),