Searched refs:a2 (Results 1 – 8 of 8) sorted by relevance
77 #define _OT_SELECT_3(a1, a2, a3, ...) a3 argument97 #define _OT_SELECT_20(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a… argument
20 cb:44:a2:72:0b:c2:e5:40:f9:3e:e5:a6:0e:b3:f9:32 a2:d545 b8:fd:54:d8:00:54:90:8b:25:b0:27:dd:95:cd:a2:f7:84:07:
4 69:1c:ba:bb:a2:33:db:38:2f:85:87:b7:12:fb:69:
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