| /mbedtls-development/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()
|
| /mbedtls-development/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 …]
|
| /mbedtls-development/library/ |
| A D | bn_mul.h | 50 #define MBEDTLS_BYTES_TO_T_UINT_4( a, b, c, d ) \ argument
56 #define MBEDTLS_BYTES_TO_T_UINT_2( a, b ) \ argument
59 #define MBEDTLS_BYTES_TO_T_UINT_8( a, b, c, d, e, f, g, h ) \ argument
65 #define MBEDTLS_BYTES_TO_T_UINT_8( a, b, c, d, e, f, g, h ) \ argument
75 #define MBEDTLS_BYTES_TO_T_UINT_4( a, b, c, d ) \ argument
78 #define MBEDTLS_BYTES_TO_T_UINT_2( a, b ) \ argument
|
| A D | aria.c | 178 static inline void aria_a( uint32_t *a, uint32_t *b, in aria_a()
210 static inline void aria_sl( uint32_t *a, uint32_t *b, in aria_sl()
346 uint32_t a, b, c, d; in aria_fo_xor() local
368 uint32_t a, b, c, d; in aria_fe_xor() local
523 uint32_t a, b, c, d; in mbedtls_aria_crypt_ecb() local
|
| A D | aes.c | 175 #define V(a,b,c,d) 0x##a##b##c##d argument
181 #define V(a,b,c,d) 0x##b##c##d##a argument
185 #define V(a,b,c,d) 0x##c##d##a##b argument
189 #define V(a,b,c,d) 0x##d##a##b##c argument
306 #define V(a,b,c,d) 0x##a##b##c##d argument
312 #define V(a,b,c,d) 0x##b##c##d##a argument
316 #define V(a,b,c,d) 0x##c##d##a##b argument
320 #define V(a,b,c,d) 0x##d##a##b##c argument
1097 uint64_t a, b, ra, rb; in mbedtls_gf128mul_x_ble() local
|
| A D | poly1305.c | 60 static uint64_t mul64( uint32_t a, uint32_t b ) in mul64()
76 static inline uint64_t mul64( uint32_t a, uint32_t b ) in mul64()
|
| A D | psa_crypto_core.h | 38 const uint8_t *a, const uint8_t *b, size_t n ) in mbedtls_psa_safer_memcmp()
|
| A D | sha512.c | 60 static void sha512_put_uint64_be( uint64_t n, unsigned char *b, uint8_t i ) in sha512_put_uint64_be()
217 #define P(a,b,c,d,e,f,g,h,x,K) \ in mbedtls_internal_sha512_process() argument
|
| A D | ripemd160.c | 126 #define P( a, b, c, d, e, r, s, f, k ) \ in mbedtls_internal_ripemd160_process() argument
134 #define P2( a, b, c, d, e, r, s, rp, sp ) \ in mbedtls_internal_ripemd160_process() argument
|
| A D | bignum.c | 283 static int mpi_safe_cond_select_sign( int a, int b, unsigned char second ) in mpi_safe_cond_select_sign()
1588 int mbedtls_mpi_add_int( mbedtls_mpi *X, const mbedtls_mpi *A, mbedtls_mpi_sint b ) in mbedtls_mpi_add_int()
1606 int mbedtls_mpi_sub_int( mbedtls_mpi *X, const mbedtls_mpi *A, mbedtls_mpi_sint b ) in mbedtls_mpi_sub_int()
1648 mbedtls_mpi_uint b ) in mpi_mul_hlp()
1764 int mbedtls_mpi_mul_int( mbedtls_mpi *X, const mbedtls_mpi *A, mbedtls_mpi_uint b ) in mbedtls_mpi_mul_int()
2028 mbedtls_mpi_sint b ) in mbedtls_mpi_div_int()
2071 int mbedtls_mpi_mod_int( mbedtls_mpi_uint *r, const mbedtls_mpi *A, mbedtls_mpi_sint b ) in mbedtls_mpi_mod_int()
|
| A D | chacha20.c | 81 size_t b, in chacha20_quarter_round()
|
| A D | md5.c | 110 #define P(a,b,c,d,k,s,t) \ in mbedtls_internal_md5_process() argument
|
| A D | nist_kw.c | 56 static inline unsigned char mbedtls_nist_kw_safer_memcmp( const void *a, const void *b, size_t n ) in mbedtls_nist_kw_safer_memcmp()
|
| A D | sha1.c | 134 #define P(a,b,c,d,e,x) \ in mbedtls_internal_sha1_process() argument
|
| A D | sha256.c | 164 #define P(a,b,c,d,e,f,g,h,x,K) \ argument
|
| A D | des.c | 278 #define SWAP(a,b) \ argument
|
| A D | x509_crt.c | 319 static int x509_string_cmp( const mbedtls_x509_buf *a, const mbedtls_x509_buf *b ) in x509_string_cmp()
349 static int x509_name_cmp( const mbedtls_x509_name *a, const mbedtls_x509_name *b ) in x509_name_cmp()
|
| A D | ecjpake.c | 647 mbedtls_mpi b; /* Blinding value, then s + N * blinding */ in ecjpake_mul_secret() local
|
| /mbedtls-development/programs/pkey/ |
| A D | ecdsa.c | 93 #define dump_buf( a, b, c ) argument
94 #define dump_pubkey( a, b ) argument
|
| /mbedtls-development/tests/include/test/ |
| A D | macros.h | 247 #define GET_UINT32_BE(n,b,i) \ argument
257 #define PUT_UINT32_BE(n,b,i) \ argument
|
| /mbedtls-development/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()
|
| /mbedtls-development/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()
|
| /mbedtls-development/programs/ssl/ |
| A D | ssl_context_info.c | 249 void print_b64( const uint8_t *b, size_t len ) in print_b64()
275 void print_hex( const uint8_t *b, size_t len, in print_hex()
|
| /mbedtls-development/tests/src/ |
| A D | helpers.c | 212 int mbedtls_test_hexcmp( uint8_t * a, uint8_t * b, in mbedtls_test_hexcmp()
|