Searched refs:a1_ (Results 1 – 2 of 2) sorted by relevance
518 uint64_t a1_ = a1 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim() local523 input[1U] = a1_; in Hacl_EC_Format_fcontract_trim()
563 uint64_t a1_ = a1 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim() local568 input[1U] = a1_; in Hacl_EC_Format_fcontract_trim()