| /mbedtls-3.6.0/3rdparty/everest/library/kremlib/ |
| 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()
50 FStar_UInt128_uint128 FStar_UInt128_add_mod(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_add_mod()
57 FStar_UInt128_uint128 FStar_UInt128_sub(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_sub()
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()
80 FStar_UInt128_uint128 FStar_UInt128_sub_mod(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_sub_mod()
85 FStar_UInt128_uint128 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logand()
[all …]
|
| 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()
|
| /mbedtls-3.6.0/3rdparty/everest/include/everest/kremlin/ |
| 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()
177 inline static void store16(uint8_t *b, uint16_t i) { in store16()
181 inline static void store32(uint8_t *b, uint32_t i) { in store32()
185 inline static void store64(uint8_t *b, uint64_t i) { in store64()
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
[all …]
|
| /mbedtls-3.6.0/library/ |
| D | constant_time.c | 82 const void *b, in mbedtls_ct_memcmp()
135 const void *b, in mbedtls_ct_memcmp_partial()
212 uint64_t b = mbedtls_get_unaligned_uint64(src2 + i) & not_mask; in mbedtls_ct_memcpy_if() local
218 uint32_t b = mbedtls_get_unaligned_uint32(src2 + i) & not_mask; in mbedtls_ct_memcpy_if() local
|
| 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
|
| D | aesce.c | 376 #define MBEDTLS_VMULL_P64(a, b) vmull_p64((poly64_t) a, (poly64_t) b) argument
381 #define MBEDTLS_VMULL_P64(a, b) vmull_p64(a, b) argument
383 static inline uint8x16_t pmull_low(uint8x16_t a, uint8x16_t b) in pmull_low()
393 static inline uint8x16_t pmull_high(uint8x16_t a, uint8x16_t b) in pmull_high()
416 static inline uint8x16x3_t poly_mult_128(uint8x16_t a, uint8x16_t b) in poly_mult_128()
|
| D | aria.c | 115 static inline void aria_a(uint32_t *a, uint32_t *b, in aria_a()
147 static inline void aria_sl(uint32_t *a, uint32_t *b, in aria_sl()
283 uint32_t a, b, c, d; in aria_fo_xor() local
305 uint32_t a, b, c, d; in aria_fe_xor() local
455 uint32_t a, b, c, d; in mbedtls_aria_crypt_ecb() local
|
| D | x509write.c | 31 #define CHECK_OVERFLOW_ADD(a, b) \ argument
|
| D | aes.c | 186 #define V(a, b, c, d) 0x##a##b##c##d argument
192 #define V(a, b, c, d) 0x##b##c##d##a argument
196 #define V(a, b, c, d) 0x##c##d##a##b argument
200 #define V(a, b, c, d) 0x##d##a##b##c argument
323 #define V(a, b, c, d) 0x##a##b##c##d argument
329 #define V(a, b, c, d) 0x##b##c##d##a argument
333 #define V(a, b, c, d) 0x##c##d##a##b argument
337 #define V(a, b, c, d) 0x##d##a##b##c argument
1204 uint64_t a, b, ra, rb; in mbedtls_gf128mul_x_ble() local
|
| D | common.h | 168 inline void mbedtls_xor(unsigned char *r, const unsigned char *a, const unsigned char *b, size_t n) in mbedtls_xor()
213 const unsigned char *b, in mbedtls_xor_no_simd()
|
| D | poly1305.c | 30 static uint64_t mul64(uint32_t a, uint32_t b) in mul64()
46 static inline uint64_t mul64(uint32_t a, uint32_t b) in mul64()
|
| D | ripemd160.c | 107 #define P(a, b, c, d, e, r, s, f, k) \ in mbedtls_internal_ripemd160_process() argument
115 #define P2(a, b, c, d, e, r, s, rp, sp) \ in mbedtls_internal_ripemd160_process() argument
|
| D | chacha20.c | 51 size_t b, in chacha20_quarter_round()
|
| D | bignum.c | 1201 int mbedtls_mpi_add_int(mbedtls_mpi *X, const mbedtls_mpi *A, mbedtls_mpi_sint b) in mbedtls_mpi_add_int()
1219 int mbedtls_mpi_sub_int(mbedtls_mpi *X, const mbedtls_mpi *A, mbedtls_mpi_sint b) in mbedtls_mpi_sub_int()
1300 int mbedtls_mpi_mul_int(mbedtls_mpi *X, const mbedtls_mpi *A, mbedtls_mpi_uint b) in mbedtls_mpi_mul_int()
1570 mbedtls_mpi_sint b) in mbedtls_mpi_div_int()
1616 int mbedtls_mpi_mod_int(mbedtls_mpi_uint *r, const mbedtls_mpi *A, mbedtls_mpi_sint b) in mbedtls_mpi_mod_int()
|
| D | md5.c | 91 #define P(a, b, c, d, k, s, t) \ in mbedtls_internal_md5_process() argument
|
| D | sha512.c | 212 static void sha512_put_uint64_be(uint64_t n, unsigned char *b, uint8_t i) in sha512_put_uint64_be()
621 #define P(a, b, c, d, e, f, g, h, x, K) \ in mbedtls_internal_sha512_process_c() argument
|
| D | sha1.c | 100 #define P(a, b, c, d, e, x) \ in mbedtls_internal_sha1_process() argument
|
| D | des.c | 259 #define SWAP(a, b) \ argument
|
| D | sha256.c | 443 #define P(a, b, c, d, e, f, g, h, x, K) \ argument
|
| /mbedtls-3.6.0/programs/pkey/ |
| D | ecdsa.c | 72 #define dump_buf(a, b, c) argument
73 #define dump_pubkey(a, b) argument
|
| /mbedtls-3.6.0/3rdparty/everest/library/ |
| 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()
|
| /mbedtls-3.6.0/3rdparty/everest/library/legacy/ |
| 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()
|
| /mbedtls-3.6.0/programs/ssl/ |
| D | ssl_context_info.c | 228 void print_b64(const uint8_t *b, size_t len) in print_b64()
252 void print_hex(const uint8_t *b, size_t len, in print_hex()
|
| /mbedtls-3.6.0/tests/src/ |
| D | helpers.c | 289 int mbedtls_test_hexcmp(uint8_t *a, uint8_t *b, in mbedtls_test_hexcmp()
|
| /mbedtls-3.6.0/include/psa/ |
| D | crypto_sizes.h | 42 #define PSA_MAX_OF_THREE(a, b, c) ((a) <= (b) ? (b) <= (c) ? \ argument
|
