Home
last modified time | relevance | path

Searched defs:b0_ (Results 1 – 2 of 2) sorted by relevance

/mbedtls-development/3rdparty/everest/library/
A DHacl_Curve25519.c36 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top() local
131 uint128_t b0_; in Hacl_Bignum_Fmul_fmul() local
184 uint128_t b0_; in Hacl_Bignum_Fsquare_fsquare_() local
344 uint128_t b0_; in Hacl_Bignum_fscalar() local
/mbedtls-development/3rdparty/everest/library/legacy/
A DHacl_Curve25519.c39 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top() local
143 FStar_UInt128_uint128 b0_; in Hacl_Bignum_Fmul_fmul() local
219 FStar_UInt128_uint128 b0_; in Hacl_Bignum_Fsquare_fsquare_() local
386 FStar_UInt128_uint128 b0_; in Hacl_Bignum_fscalar() local

Completed in 7 milliseconds