Home
last modified time | relevance | path

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

/mbedtls-latest/3rdparty/everest/library/
DHacl_Curve25519.c518 uint64_t a1_ = a1 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim() local
523 input[1U] = a1_; in Hacl_EC_Format_fcontract_trim()
/mbedtls-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c563 uint64_t a1_ = a1 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim() local
568 input[1U] = a1_; in Hacl_EC_Format_fcontract_trim()