Searched refs:a4 (Results 1 – 12 of 12) sorted by relevance
32 a4:c4:75:af:eb:0c:a6:60:b7:36:8c:38:c8:e8:09:39 4a:33:fe:c8:21:bd:2e:bd:3b:c0:51:73:0e:97:a4:
5 6c:75:39:08:16:d1:a4:b8:0c:68:c5:63:21:61:eb:
16 9e:a4:a8:c4:29:fe:76:18:02:4f:76:c9:29:0e:f2:
46 79:a4:b2:b5:2e:12:f9:84:17:f0:62:6f:27:3e:13:
67 79:a4:b2:b5:2e:12:f9:84:17:f0:62:6f:27:3e:13:
27 79:a4:b2:b5:2e:12:f9:84:17:f0:62:6f:27:3e:13:
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()
1328 # by the printer. Possible values are: a4, letter, legal and1329 # executive. If left blank a4 will be used.
6073 # 36 00 5f c4 a4 69 32 fc 32 25 d0 5f 82 aa 1b 36
Completed in 23 milliseconds