Searched refs:a4_ (Results 1 – 2 of 2) sorted by relevance
521 uint64_t a4_ = a4 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim() local526 input[4U] = a4_; in Hacl_EC_Format_fcontract_trim()
566 uint64_t a4_ = a4 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim() local571 input[4U] = a4_; in Hacl_EC_Format_fcontract_trim()