Searched refs:d2 (Results 1 – 10 of 10) 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()
8 77:33:a9:8a:90:94:21:ff:84:d2:7b:36:39:9b:e5:19 d0:1e:7c:4e:22:07:d2:b5:f9:9a:9e:52:e2:97:9d:
13 31:84:13:44:3c:d2:44:21:5c:d7:fd:4c:be:79:6e:40 dd:14:d2:b7:66:06:25:92:f5:ee:c0:9d:16:bb:50:
3 4f:b8:d2:d8:3c:b3:02:c9:64:f5:99:fe:61:cc:b3:
55 35:cc:58:19:d1:d2:99:ef:4d:73:f8:1f:89:d4:5a:d0:52:ce:57 08:60:cd:32:18:d0:73:e0:58:71:d9:e5:d2:53:d7:8d:d0:ca:
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__()
