| /mbedtls-latest/library/ |
| D | constant_time_impl.h | 286 static inline mbedtls_ct_condition_t mbedtls_ct_uint_lt(mbedtls_ct_uint_t x, mbedtls_ct_uint_t y) in mbedtls_ct_uint_lt()
397 static inline mbedtls_ct_condition_t mbedtls_ct_uint_ne(mbedtls_ct_uint_t x, mbedtls_ct_uint_t y) in mbedtls_ct_uint_ne()
505 mbedtls_ct_uint_t y) in mbedtls_ct_uint_eq()
511 mbedtls_ct_uint_t y) in mbedtls_ct_uint_gt()
517 mbedtls_ct_uint_t y) in mbedtls_ct_uint_ge()
523 mbedtls_ct_uint_t y) in mbedtls_ct_uint_le()
529 mbedtls_ct_condition_t y) in mbedtls_ct_bool_ne()
535 mbedtls_ct_condition_t y) in mbedtls_ct_bool_and()
541 mbedtls_ct_condition_t y) in mbedtls_ct_bool_or()
|
| D | md5.c | 103 #define F(x, y, z) ((z) ^ ((x) & ((y) ^ (z)))) in mbedtls_internal_md5_process() argument
124 #define F(x, y, z) ((y) ^ ((z) & ((x) ^ (y)))) in mbedtls_internal_md5_process() argument
145 #define F(x, y, z) ((x) ^ (y) ^ (z)) in mbedtls_internal_md5_process() argument
166 #define F(x, y, z) ((y) ^ ((x) | ~(z))) in mbedtls_internal_md5_process() argument
|
| D | sha1.c | 113 #define F(x, y, z) ((z) ^ ((x) & ((y) ^ (z)))) in mbedtls_internal_sha1_process() argument
140 #define F(x, y, z) ((x) ^ (y) ^ (z)) in mbedtls_internal_sha1_process() argument
167 #define F(x, y, z) (((x) & (y)) | ((z) & ((x) | (y)))) in mbedtls_internal_sha1_process() argument
194 #define F(x, y, z) ((x) ^ (y) ^ (z)) in mbedtls_internal_sha1_process() argument
|
| D | constant_time.c | 86 uint32_t y = mbedtls_get_unaligned_volatile_uint32(B + i); in mbedtls_ct_memcmp() local
95 unsigned char x = A[i], y = B[i]; in mbedtls_ct_memcmp() local
135 unsigned char x = A[i], y = B[i]; in mbedtls_ct_memcmp_partial() local
|
| D | ripemd160.c | 99 #define F1(x, y, z) ((x) ^ (y) ^ (z)) in mbedtls_internal_ripemd160_process() argument
100 #define F2(x, y, z) (((x) & (y)) | (~(x) & (z))) in mbedtls_internal_ripemd160_process() argument
101 #define F3(x, y, z) (((x) | ~(y)) ^ (z)) in mbedtls_internal_ripemd160_process() argument
102 #define F4(x, y, z) (((x) & (z)) | ((y) & ~(z))) in mbedtls_internal_ripemd160_process() argument
103 #define F5(x, y, z) ((x) ^ ((y) | ~(z))) in mbedtls_internal_ripemd160_process() argument
|
| D | sha512.c | 359 static inline uint64x2_t vsha512su0q_u64(uint64x2_t x, uint64x2_t y) in vsha512su0q_u64()
364 static inline uint64x2_t vsha512su1q_u64(uint64x2_t x, uint64x2_t y, uint64x2_t z) in vsha512su1q_u64()
369 static inline uint64x2_t vsha512hq_u64(uint64x2_t x, uint64x2_t y, uint64x2_t z) in vsha512hq_u64()
374 static inline uint64x2_t vsha512h2q_u64(uint64x2_t x, uint64x2_t y, uint64x2_t z) in vsha512h2q_u64()
619 #define F0(x, y, z) (((x) & (y)) | ((z) & ((x) | (y)))) in mbedtls_internal_sha512_process_c() argument
620 #define F1(x, y, z) ((z) ^ ((x) & ((y) ^ (z)))) in mbedtls_internal_sha512_process_c() argument
|
| D | sha3.c | 94 #define ROTR64(x, y) (((x) << (64U - (y))) | ((x) >> (y))) // 64-bit rotate right argument
98 #define SWAP(x, y) do { uint64_t tmp = (x); (x) = (y); (y) = tmp; } while (0) argument
|
| D | sha256.c | 468 #define F0(x, y, z) (((x) & (y)) | ((z) & ((x) | (y)))) argument
469 #define F1(x, y, z) ((z) ^ ((x) & ((y) ^ (z)))) argument
|
| D | aes.c | 371 #define MUL(x, y) (((x) && (y)) ? pow[(log[(x)]+log[(y)]) % 255] : 0) argument
378 uint8_t x, y, z; in aes_gen_tables() local
|
| D | ecp_curves.c | 31 #define ECP_POINT_INIT_XY_Z0(x, y) { \ argument
33 #define ECP_POINT_INIT_XY_Z1(x, y) { \ argument
|
| D | ecp_curves_new.c | 36 #define ECP_POINT_INIT_XY_Z0(x, y) { \ argument
38 #define ECP_POINT_INIT_XY_Z1(x, y) { \ argument
|
| D | bignum.c | 1563 mbedtls_mpi_uint x, y, z; in mbedtls_mpi_mod_int() local
|
| D | ecp.c | 677 const char *x, const char *y) in mbedtls_ecp_point_read_string()
|
| /mbedtls-latest/3rdparty/everest/library/kremlib/ |
| D | FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c | 25 uint64_t y = b; in FStar_UInt64_gte_mask() local
47 uint32_t y = b; in FStar_UInt32_gte_mask() local
69 uint16_t y = b; in FStar_UInt16_gte_mask() local
91 uint8_t y = b; in FStar_UInt8_gte_mask() local
|
| D | FStar_UInt128_extracted.c | 341 FStar_UInt128_uint128 FStar_UInt128_mul32(uint64_t x, uint32_t y) in FStar_UInt128_mul32()
368 FStar_UInt128_mul_wide_impl_t_(uint64_t x, uint64_t y) in FStar_UInt128_mul_wide_impl_t_()
389 static FStar_UInt128_uint128 FStar_UInt128_mul_wide_impl(uint64_t x, uint64_t y) in FStar_UInt128_mul_wide_impl()
409 FStar_UInt128_uint128 FStar_UInt128_mul_wide(uint64_t x, uint64_t y) in FStar_UInt128_mul_wide()
|
| /mbedtls-latest/3rdparty/p256-m/p256-m/ |
| D | p256-m.c | 217 static uint64_t u32_muladd64(uint32_t x, uint32_t y, uint32_t z, uint32_t t) in u32_muladd64()
242 static uint64_t u32_muladd64(uint32_t x, uint32_t y, uint32_t z, uint32_t t) in u32_muladd64()
304 static uint64_t u32_muladd64(uint32_t x, uint32_t y, uint32_t z, uint32_t t) in u32_muladd64()
310 static uint64_t u32_muladd64(uint32_t x, uint32_t y, uint32_t z, uint32_t t) in u32_muladd64()
1214 uint32_t s[8], x[8], y[8]; in p256_gen_keypair() local
1238 uint32_t s[8], px[8], py[8], x[8], y[8]; in p256_ecdh_shared_secret() local
1477 uint32_t x[8], y[8]; in p256_validate_pubkey() local
1502 uint32_t x[8], y[8]; in p256_public_from_private() local
|
