Lines Matching defs:acc1
82 uint32_t acc0, acc1, acc2, acc3, acc4;
98 acc1 = ctx->acc[1];
113 d1 += (uint64_t) acc1 + (d0 >> 32U);
117 acc1 = (uint32_t) d1;
124 mul64(acc1, rs3) +
128 mul64(acc1, r0) +
133 mul64(acc1, r1) +
138 mul64(acc1, r2) +
149 acc1 = (uint32_t) d1;
157 d0 = (uint64_t) acc1 + (d0 >> 32U);
158 acc1 = (uint32_t) d0;
170 ctx->acc[1] = acc1;
188 uint32_t acc0, acc1, acc2, acc3, acc4;
193 acc1 = ctx->acc[1];
206 d = ((uint64_t) acc1 + (d >> 32));
220 acc1 = (acc1 & mask_inv) | (g1 & mask);
227 d = (uint64_t) acc1 + ctx->s[1] + (d >> 32U);
228 acc1 = (uint32_t) d;
235 MBEDTLS_PUT_UINT32_LE(acc1, mac, 4);