Home
last modified time | relevance | path

Searched refs:d419 (Results 1 – 2 of 2) sorted by relevance

/third_party/mbedtls/3rdparty/everest/library/
DHacl_Curve25519.c165 uint64_t d419 = r4 * (uint64_t)19U; in Hacl_Bignum_Fsquare_fsquare__() local
166 uint64_t d4 = d419 * (uint64_t)2U; in Hacl_Bignum_Fsquare_fsquare__()
170 uint128_t s3 = (uint128_t)d0 * r3 + (uint128_t)d1 * r2 + (uint128_t)r4 * d419; in Hacl_Bignum_Fsquare_fsquare__()
/third_party/mbedtls/3rdparty/everest/library/legacy/
DHacl_Curve25519.c180 uint64_t d419 = r4 * (uint64_t)19U; in Hacl_Bignum_Fsquare_fsquare__() local
181 uint64_t d4 = d419 * (uint64_t)2U; in Hacl_Bignum_Fsquare_fsquare__()
201 FStar_UInt128_mul_wide(r4, d419)); in Hacl_Bignum_Fsquare_fsquare__()