Home
last modified time | relevance | path

Searched refs:a1 (Results 1 – 4 of 4) sorted by relevance

/mbedtls-latest/3rdparty/everest/library/
DHacl_Curve25519.c507 uint64_t a1 = input[1U]; in Hacl_EC_Format_fcontract_trim() local
512 uint64_t mask1 = FStar_UInt64_eq_mask(a1, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()
518 uint64_t a1_ = a1 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim()
/mbedtls-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c552 uint64_t a1 = input[1U]; in Hacl_EC_Format_fcontract_trim() local
557 uint64_t mask1 = FStar_UInt64_eq_mask(a1, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()
563 uint64_t a1_ = a1 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim()
/mbedtls-latest/library/
Dbn_mul.h811 [a1] "=&r" (tmp_a1), \
/mbedtls-latest/tests/suites/
Dtest_suite_bignum_core.generated.data23224 mpi_core_shift_r:"a1055eb0bb1efa1150ff":72:"000000000000000000a1"