Searched refs:d2 (Results 1 – 11 of 11) sorted by relevance
99 uint64_t d0, d1, d2, d3; in poly1305_process() local127 d2 = MBEDTLS_GET_UINT32_LE( input, offset + 8 ); in poly1305_process()133 d2 += (uint64_t) acc2 + ( d1 >> 32U ); in poly1305_process()134 d3 += (uint64_t) acc3 + ( d2 >> 32U ); in poly1305_process()137 acc2 = (uint32_t) d2; in poly1305_process()151 d2 = mul64( acc0, r2 ) + in poly1305_process()165 d2 += ( d1 >> 32 ); in poly1305_process()166 d3 += ( d2 >> 32 ); in poly1305_process()169 acc2 = (uint32_t) d2; in poly1305_process()
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:
74 35:cc:58:19:d1:d2:99:ef:4d:73:f8:1f:89:d4:5a:d0:52:ce:76 08:60:cd:32:18:d0:73:e0:58:71:d9:e5:d2:53:d7:8d:d0:ca:
95 35:cc:58:19:d1:d2:99:ef:4d:73:f8:1f:89:d4:5a:d0:52:ce:97 08:60:cd:32:18:d0:73:e0:58:71:d9:e5:d2:53:d7:8d:d0:ca:
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__()
Completed in 10 milliseconds