Searched refs:a1 (Results 1 – 12 of 12) sorted by relevance
5 80:0a:bf:e7:dc:66:7a:a1:7b:cd:7c:04:61:4b:c2:7 93:8e:a1:1b:48:dc:51:5d:ab:7a:bc:bb:1e:0c:7f:11 d0:11:f8:84:77:a1:b0:19:27:d7:38:13:ca:d4:84:35 5b:2e:a1:fa:34:40:5d:83:98:2f:ba:40:e6:d8:52:
6 89:29:71:8e:8e:a1:29:2e:df:db:01:34:41:e7:66:
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
11 FEqXqWSo33hhPU7AKKttbDLjUYRNnQAPRUnRIl1/a1+UjqgKchWWD9ityeW8ICxo
28 58:b1:54:0d:21:9a:73:37:a1:30:cf:6f:92:dc:f6:
507 uint64_t a1 = input[1U]; in Hacl_EC_Format_fcontract_trim() local512 uint64_t mask1 = FStar_UInt64_eq_mask(a1, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()518 uint64_t a1_ = a1 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim()
552 uint64_t a1 = input[1U]; in Hacl_EC_Format_fcontract_trim() local557 uint64_t mask1 = FStar_UInt64_eq_mask(a1, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()563 uint64_t a1_ = a1 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim()
811 [a1] "=&r" (tmp_a1), \
2301 fe80:0:0:0:d0e5:11a1:46b9:e54d
23224 mpi_core_shift_r:"a1055eb0bb1efa1150ff":72:"000000000000000000a1"
