Home
last modified time | relevance | path

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

/third_party/mbedtls/3rdparty/everest/library/legacy/
DHacl_Curve25519.c146 uint64_t i0_; in Hacl_Bignum_Fmul_fmul() local
162 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fmul_fmul()
164 output[0U] = i0_; in Hacl_Bignum_Fmul_fmul()
222 uint64_t i0_; in Hacl_Bignum_Fsquare_fsquare_() local
238 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fsquare_fsquare_()
240 output[0U] = i0_; in Hacl_Bignum_Fsquare_fsquare_()
537 uint64_t i0_; in Hacl_EC_Format_fcontract_second_carry_full() local
543 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_full()
545 input[0U] = i0_; in Hacl_EC_Format_fcontract_second_carry_full()
/third_party/mbedtls/3rdparty/everest/library/
DHacl_Curve25519.c134 uint64_t i0_; in Hacl_Bignum_Fmul_fmul() local
147 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fmul_fmul()
149 output[0U] = i0_; in Hacl_Bignum_Fmul_fmul()
187 uint64_t i0_; in Hacl_Bignum_Fsquare_fsquare_() local
200 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fsquare_fsquare_()
202 output[0U] = i0_; in Hacl_Bignum_Fsquare_fsquare_()
492 uint64_t i0_; in Hacl_EC_Format_fcontract_second_carry_full() local
498 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_full()
500 input[0U] = i0_; in Hacl_EC_Format_fcontract_second_carry_full()