Searched refs:a2 (Results 1 – 3 of 3) sorted by relevance
508 uint64_t a2 = input[2U]; in Hacl_EC_Format_fcontract_trim() local513 uint64_t mask2 = FStar_UInt64_eq_mask(a2, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()519 uint64_t a2_ = a2 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim()
553 uint64_t a2 = input[2U]; in Hacl_EC_Format_fcontract_trim() local558 uint64_t mask2 = FStar_UInt64_eq_mask(a2, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()564 uint64_t a2_ = a2 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim()
2885 # - Complete record: 17 03 03 00 43 a2 3f 70 54 b6 2c 94 d0 af fa fe2888 # 62 97 4e 1f 5a 62 92 a2 97 70 14 bd 1e 3d ea e62907 # fc c4 9c 4b f2 e5 f0 a2 1c 00 47 c2 ab f3 32 54
