Lines Matching defs:acc0
82 uint32_t acc0, acc1, acc2, acc3, acc4;
97 acc0 = ctx->acc[0];
112 d0 += (uint64_t) acc0;
116 acc0 = (uint32_t) d0;
123 d0 = mul64(acc0, r0) +
127 d1 = mul64(acc0, r1) +
132 d2 = mul64(acc0, r2) +
137 d3 = mul64(acc0, r3) +
148 acc0 = (uint32_t) d0;
154 d0 = (uint64_t) acc0 + (acc4 >> 2) + (acc4 & 0xFFFFFFFCU);
156 acc0 = (uint32_t) d0;
169 ctx->acc[0] = acc0;
188 uint32_t acc0, acc1, acc2, acc3, acc4;
192 acc0 = ctx->acc[0];
204 d = ((uint64_t) acc0 + 5U);
219 acc0 = (acc0 & mask_inv) | (g0 & mask);
225 d = (uint64_t) acc0 + ctx->s[0];
226 acc0 = (uint32_t) d;
234 MBEDTLS_PUT_UINT32_LE(acc0, mac, 0);