Searched refs:d2 (Results 1 – 4 of 4) sorted by relevance
69 uint64_t d0, d1, d2, d3; in poly1305_process() local96 d2 = MBEDTLS_GET_UINT32_LE(input, offset + 8); in poly1305_process()102 d2 += (uint64_t) acc2 + (d1 >> 32U); in poly1305_process()103 d3 += (uint64_t) acc3 + (d2 >> 32U); in poly1305_process()106 acc2 = (uint32_t) d2; in poly1305_process()120 d2 = mul64(acc0, r2) + in poly1305_process()134 d2 += (d1 >> 32); in poly1305_process()135 d3 += (d2 >> 32); in poly1305_process()138 acc2 = (uint32_t) d2; in poly1305_process()
602 uint32_t d2 = p[1] - '0'; in x509_parse2_int() local603 return (d1 < 10 && d2 < 10) ? (int) (d1 * 10 + d2) : -1; in x509_parse2_int()
164 uint64_t d2 = r2 * (uint64_t)2U * (uint64_t)19U; in Hacl_Bignum_Fsquare_fsquare__() local167 uint128_t s0 = (uint128_t)r0 * r0 + (uint128_t)d4 * r1 + (uint128_t)d2 * r3; in Hacl_Bignum_Fsquare_fsquare__()
179 uint64_t d2 = r2 * (uint64_t)2U * (uint64_t)19U; in Hacl_Bignum_Fsquare_fsquare__() local186 FStar_UInt128_mul_wide(d2, r3)); in Hacl_Bignum_Fsquare_fsquare__()
