Searched refs:a2_ (Results 1 – 2 of 2) sorted by relevance
519 uint64_t a2_ = a2 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim() local524 input[2U] = a2_; in Hacl_EC_Format_fcontract_trim()
564 uint64_t a2_ = a2 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim() local569 input[2U] = a2_; in Hacl_EC_Format_fcontract_trim()