Home
last modified time | relevance | path

Searched refs:i1_ (Results 1 - 2 of 2) sorted by relevance

/third_party/mbedtls/3rdparty/everest/library/legacy/
H A DHacl_Curve25519.c147 uint64_t i1_; in Hacl_Bignum_Fmul_fmul() local
163 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()
165 output[1U] = i1_; in Hacl_Bignum_Fmul_fmul()
223 uint64_t i1_; in Hacl_Bignum_Fsquare_fsquare_() local
239 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()
241 output[1U] = i1_; in Hacl_Bignum_Fsquare_fsquare_()
538 uint64_t i1_; in Hacl_EC_Format_fcontract_second_carry_full() local
544 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_full()
546 input[1U] = i1_; in Hacl_EC_Format_fcontract_second_carry_full()
/third_party/mbedtls/3rdparty/everest/library/
H A DHacl_Curve25519.c135 uint64_t i1_; in Hacl_Bignum_Fmul_fmul() local
148 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()
150 output[1U] = i1_; in Hacl_Bignum_Fmul_fmul()
188 uint64_t i1_; in Hacl_Bignum_Fsquare_fsquare_() local
201 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()
203 output[1U] = i1_; in Hacl_Bignum_Fsquare_fsquare_()
493 uint64_t i1_; in Hacl_EC_Format_fcontract_second_carry_full() local
499 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_full()
501 input[1U] = i1_; in Hacl_EC_Format_fcontract_second_carry_full()

Completed in 4 milliseconds