Searched refs:a4 (Results 1 – 3 of 3) sorted by relevance
510 uint64_t a4 = input[4U]; in Hacl_EC_Format_fcontract_trim() local515 uint64_t mask4 = FStar_UInt64_eq_mask(a4, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()521 uint64_t a4_ = a4 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim()
555 uint64_t a4 = input[4U]; in Hacl_EC_Format_fcontract_trim() local560 uint64_t mask4 = FStar_UInt64_eq_mask(a4, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()566 uint64_t a4_ = a4 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim()
2905 # 36 00 5f c4 a4 69 32 fc 32 25 d0 5f 82 aa 1b 36
