| /lib/mbedtls/external/mbedtls/3rdparty/everest/library/kremlib/ |
| A D | FStar_UInt128_extracted.c | 25 static uint64_t FStar_UInt128_constant_time_carry(uint64_t a, uint64_t b) in FStar_UInt128_constant_time_carry()
30 static uint64_t FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry()
35 FStar_UInt128_uint128 FStar_UInt128_add(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_add()
43 FStar_UInt128_add_underspec(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_add_underspec()
65 FStar_UInt128_sub_underspec(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_sub_underspec()
73 FStar_UInt128_sub_mod_impl(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_sub_mod_impl()
199 bool FStar_UInt128_eq(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_eq()
204 bool FStar_UInt128_gt(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_gt()
209 bool FStar_UInt128_lt(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_lt()
214 bool FStar_UInt128_gte(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_gte()
[all …]
|
| A D | FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c | 13 uint64_t FStar_UInt64_eq_mask(uint64_t a, uint64_t b) in FStar_UInt64_eq_mask()
22 uint64_t FStar_UInt64_gte_mask(uint64_t a, uint64_t b) in FStar_UInt64_gte_mask()
35 uint32_t FStar_UInt32_eq_mask(uint32_t a, uint32_t b) in FStar_UInt32_eq_mask()
44 uint32_t FStar_UInt32_gte_mask(uint32_t a, uint32_t b) in FStar_UInt32_gte_mask()
57 uint16_t FStar_UInt16_eq_mask(uint16_t a, uint16_t b) in FStar_UInt16_eq_mask()
66 uint16_t FStar_UInt16_gte_mask(uint16_t a, uint16_t b) in FStar_UInt16_gte_mask()
79 uint8_t FStar_UInt8_eq_mask(uint8_t a, uint8_t b) in FStar_UInt8_eq_mask()
88 uint8_t FStar_UInt8_gte_mask(uint8_t a, uint8_t b) in FStar_UInt8_gte_mask()
|
| /lib/mbedtls/external/mbedtls/3rdparty/everest/include/everest/kremlin/ |
| A D | c_endianness.h | 159 inline static uint16_t load16(uint8_t *b) { in load16()
165 inline static uint32_t load32(uint8_t *b) { in load32()
171 inline static uint64_t load64(uint8_t *b) { in load64()
189 #define load16_le(b) (le16toh(load16(b))) argument
190 #define store16_le(b, i) (store16(b, htole16(i))) argument
191 #define load16_be(b) (be16toh(load16(b))) argument
192 #define store16_be(b, i) (store16(b, htobe16(i))) argument
194 #define load32_le(b) (le32toh(load32(b))) argument
196 #define load32_be(b) (be32toh(load32(b))) argument
199 #define load64_le(b) (le64toh(load64(b))) argument
[all …]
|
| /lib/ |
| A D | list_sort.c | 24 struct list_head *b), in merge()
53 struct list_head *b), in merge_and_restore_back_links()
107 struct list_head *b)) in list_sort()
205 static int __init cmp(void *priv, struct list_head *a, struct list_head *b) in cmp()
|
| A D | sha256.c | 26 #define GET_UINT32_BE(n,b,i) { \ argument
34 #define PUT_UINT32_BE(n,b,i) { \ argument
98 #define P(a,b,c,d,e,f,g,h,x,K) { \ in sha256_process_one() argument
|
| A D | qsort.c | 47 register char *b; in qsort() local
|
| /lib/lwip/lwip/src/netif/ppp/polarssl/ |
| A D | md4.c | 53 #define GET_ULONG_LE(n,b,i) \ argument
63 #define PUT_ULONG_LE(n,b,i) \ argument
115 #define P(a,b,c,d,x,s) { a += F(b,c,d) + x; a = S(a,s); } in md4_process() argument
138 #define P(a,b,c,d,x,s) { a += F(b,c,d) + x + 0x5A827999; a = S(a,s); } in md4_process() argument
161 #define P(a,b,c,d,x,s) { a += F(b,c,d) + x + 0x6ED9EBA1; a = S(a,s); } in md4_process() argument
|
| A D | des.c | 51 #define GET_ULONG_BE(n,b,i) \ argument
61 #define PUT_ULONG_BE(n,b,i) \ argument
298 #define SWAP(a,b) { unsigned long t = a; a = b; b = t; t = 0; } argument
|
| A D | md5.c | 52 #define GET_ULONG_LE(n,b,i) \ argument
62 #define PUT_ULONG_LE(n,b,i) \ argument
108 #define P(a,b,c,d,k,s,t) \ in md5_process() argument
|
| A D | sha1.c | 52 #define GET_ULONG_BE(n,b,i) \ argument
62 #define PUT_ULONG_BE(n,b,i) \ argument
116 #define P(a,b,c,d,e,x) \ in sha1_process() argument
|
| A D | arc4.c | 78 int i, x, y, a, b; in arc4_crypt() local
|
| /lib/mbedtls/external/mbedtls/library/ |
| A D | aesce.c | 414 static inline poly128_t vmull_p64(poly64_t a, poly64_t b) in vmull_p64()
424 static inline poly128_t vmull_high_p64(poly64x2_t a, poly64x2_t b) in vmull_high_p64()
490 #define MBEDTLS_VMULL_P64(a, b) vmull_p64((poly64_t) a, (poly64_t) b) argument
495 #define MBEDTLS_VMULL_P64(a, b) vmull_p64(a, b) argument
498 static inline uint8x16_t pmull_low(uint8x16_t a, uint8x16_t b) in pmull_low()
508 static inline uint8x16_t pmull_high(uint8x16_t a, uint8x16_t b) in pmull_high()
531 static inline uint8x16x3_t poly_mult_128(uint8x16_t a, uint8x16_t b) in poly_mult_128()
|
| A D | constant_time.c | 69 const void *b, in mbedtls_ct_memcmp()
122 const void *b, in mbedtls_ct_memcmp_partial()
199 uint64_t b = mbedtls_get_unaligned_uint64(src2 + i) & not_mask; in mbedtls_ct_memcpy_if() local
205 uint32_t b = mbedtls_get_unaligned_uint32(src2 + i) & not_mask; in mbedtls_ct_memcpy_if() local
|
| A D | bn_mul.h | 38 #define MBEDTLS_BYTES_TO_T_UINT_4(a, b, c, d) \ argument
44 #define MBEDTLS_BYTES_TO_T_UINT_2(a, b) \ argument
47 #define MBEDTLS_BYTES_TO_T_UINT_8(a, b, c, d, e, f, g, h) \ argument
53 #define MBEDTLS_BYTES_TO_T_UINT_8(a, b, c, d, e, f, g, h) \ argument
63 #define MBEDTLS_BYTES_TO_T_UINT_4(a, b, c, d) \ argument
66 #define MBEDTLS_BYTES_TO_T_UINT_2(a, b) \ argument
|
| A D | aria.c | 109 static inline void aria_a(uint32_t *a, uint32_t *b, in aria_a()
141 static inline void aria_sl(uint32_t *a, uint32_t *b, in aria_sl()
277 uint32_t a, b, c, d; in aria_fo_xor() local
299 uint32_t a, b, c, d; in aria_fe_xor() local
447 uint32_t a, b, c, d; in mbedtls_aria_crypt_ecb() local
|
| A D | x509write.c | 31 #define CHECK_OVERFLOW_ADD(a, b) \ argument
|
| A D | aes.c | 184 #define V(a, b, c, d) 0x##a##b##c##d argument
188 #define V(a, b, c, d) 0x##b##c##d##a argument
192 #define V(a, b, c, d) 0x##c##d##a##b argument
196 #define V(a, b, c, d) 0x##d##a##b##c argument
312 #define V(a, b, c, d) 0x##a##b##c##d argument
316 #define V(a, b, c, d) 0x##b##c##d##a argument
320 #define V(a, b, c, d) 0x##c##d##a##b argument
324 #define V(a, b, c, d) 0x##d##a##b##c argument
1168 uint64_t a, b, ra, rb; in mbedtls_gf128mul_x_ble() local
|
| /lib/crypto/ |
| A D | x509_helper.c | 32 bool b = asymmetric_key_id_same(cert->id, in x509_check_for_self_signed() local
|
| /lib/mbedtls/external/mbedtls/programs/pkey/ |
| A D | ecdsa.c | 72 #define dump_buf(a, b, c) argument
73 #define dump_pubkey(a, b) argument
|
| /lib/crypt/ |
| A D | alg-sha256.h | 11 #define SHA256_Final(b, c) sha256_finish(c, b) argument
|
| A D | alg-sha512.h | 11 #define SHA512_Final(b, c) sha512_finish(c, b) argument
|
| A D | crypt-port.h | 16 #define static_assert(a, b) _Static_assert(a, b) argument
|
| /lib/rsa/ |
| A D | rsa-mod-exp.c | 25 #define put_unaligned_be32(a, b) (*(uint32_t *)(b) = cpu_to_fdt32(a)) argument
89 uint32_t result[], const uint32_t a, const uint32_t b[]) in montgomery_mul_add_step()
124 uint32_t result[], uint32_t a[], const uint32_t b[]) in montgomery_mul()
|
| /lib/mbedtls/external/mbedtls/3rdparty/everest/library/ |
| A D | Hacl_Curve25519.c | 31 static void Hacl_Bignum_Modulo_carry_top(uint64_t *b) in Hacl_Bignum_Modulo_carry_top()
256 uint64_t *b; in Hacl_Bignum_Crecip_crecip() local
289 inline static void Hacl_Bignum_fsum(uint64_t *a, uint64_t *b) in Hacl_Bignum_fsum()
300 inline static void Hacl_Bignum_fdifference(uint64_t *a, uint64_t *b) in Hacl_Bignum_fdifference()
330 inline static void Hacl_Bignum_fscalar(uint64_t *output, uint64_t *b, uint64_t s) in Hacl_Bignum_fscalar()
365 inline static void Hacl_Bignum_fmul(uint64_t *output, uint64_t *a, uint64_t *b) in Hacl_Bignum_fmul()
376 Hacl_EC_Point_swap_conditional_step(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr) in Hacl_EC_Point_swap_conditional_step()
389 Hacl_EC_Point_swap_conditional_(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr) in Hacl_EC_Point_swap_conditional_()
400 static void Hacl_EC_Point_swap_conditional(uint64_t *a, uint64_t *b, uint64_t iswap) in Hacl_EC_Point_swap_conditional()
|
| /lib/mbedtls/external/mbedtls/3rdparty/everest/library/legacy/ |
| A D | Hacl_Curve25519.c | 34 static void Hacl_Bignum_Modulo_carry_top(uint64_t *b) in Hacl_Bignum_Modulo_carry_top()
298 uint64_t *b; in Hacl_Bignum_Crecip_crecip() local
331 inline static void Hacl_Bignum_fsum(uint64_t *a, uint64_t *b) in Hacl_Bignum_fsum()
342 inline static void Hacl_Bignum_fdifference(uint64_t *a, uint64_t *b) in Hacl_Bignum_fdifference()
372 inline static void Hacl_Bignum_fscalar(uint64_t *output, uint64_t *b, uint64_t s) in Hacl_Bignum_fscalar()
410 inline static void Hacl_Bignum_fmul(uint64_t *output, uint64_t *a, uint64_t *b) in Hacl_Bignum_fmul()
421 Hacl_EC_Point_swap_conditional_step(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr) in Hacl_EC_Point_swap_conditional_step()
434 Hacl_EC_Point_swap_conditional_(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr) in Hacl_EC_Point_swap_conditional_()
445 static void Hacl_EC_Point_swap_conditional(uint64_t *a, uint64_t *b, uint64_t iswap) in Hacl_EC_Point_swap_conditional()
|