b4_ (reference) in projects: mbedtls-development

Project(s)

Full Search
Definition
Symbol
File Path
Type

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

/mbedtls-development/3rdparty/everest/library/
A D	Hacl_Curve25519.c	35 uint64_t b4_ = b4 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Modulo_carry_top() local 37 b[4U] = b4_; in Hacl_Bignum_Modulo_carry_top() 130 uint128_t b4_; in Hacl_Bignum_Fmul_fmul() local 140 b4_ = b4 & (uint128_t)(uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fmul_fmul() 142 t[4U] = b4_; in Hacl_Bignum_Fmul_fmul() 183 uint128_t b4_; in Hacl_Bignum_Fsquare_fsquare_() local 193 b4_ = b4 & (uint128_t)(uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fsquare_fsquare_() 195 tmp[4U] = b4_; in Hacl_Bignum_Fsquare_fsquare_() 343 uint128_t b4_; in Hacl_Bignum_fscalar() local 356 b4_ = b4 & (uint128_t)(uint64_t)0x7ffffffffffffU; in Hacl_Bignum_fscalar() [all …]
/mbedtls-development/3rdparty/everest/library/legacy/
A D	Hacl_Curve25519.c	38 uint64_t b4_ = b4 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Modulo_carry_top() local 40 b[4U] = b4_; in Hacl_Bignum_Modulo_carry_top() 142 FStar_UInt128_uint128 b4_; in Hacl_Bignum_Fmul_fmul() local 152 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_Fmul_fmul() 157 t[4U] = b4_; in Hacl_Bignum_Fmul_fmul() 218 FStar_UInt128_uint128 b4_; in Hacl_Bignum_Fsquare_fsquare_() local 228 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_Fsquare_fsquare_() 233 tmp[4U] = b4_; in Hacl_Bignum_Fsquare_fsquare_() 385 FStar_UInt128_uint128 b4_; in Hacl_Bignum_fscalar() local 398 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_fscalar() [all …]

Completed in 8 milliseconds