| /mbedtls-3.4.0/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-3.4.0/library/ |
| D | md5.c | 115 #define F(x,y,z) ((z) ^ ((x) & ((y) ^ (z)))) in mbedtls_internal_md5_process() argument
136 #define F(x,y,z) ((y) ^ ((z) & ((x) ^ (y)))) in mbedtls_internal_md5_process() argument
157 #define F(x,y,z) ((x) ^ (y) ^ (z)) in mbedtls_internal_md5_process() argument
178 #define F(x,y,z) ((y) ^ ((x) | ~(z))) in mbedtls_internal_md5_process() argument
|
| D | sha1.c | 125 #define F(x,y,z) ((z) ^ ((x) & ((y) ^ (z)))) in mbedtls_internal_sha1_process() argument
152 #define F(x,y,z) ((x) ^ (y) ^ (z)) in mbedtls_internal_sha1_process() argument
179 #define F(x,y,z) (((x) & (y)) | ((z) & ((x) | (y)))) in mbedtls_internal_sha1_process() argument
206 #define F(x,y,z) ((x) ^ (y) ^ (z)) in mbedtls_internal_sha1_process() argument
|
| D | ripemd160.c | 111 #define F1( x, y, z ) ( (x) ^ (y) ^ (z) ) in mbedtls_internal_ripemd160_process() argument
112 #define F2( x, y, z ) ( ( (x) & (y) ) | ( ~(x) & (z) ) ) in mbedtls_internal_ripemd160_process() argument
113 #define F3( x, y, z ) ( ( (x) | ~(y) ) ^ (z) ) in mbedtls_internal_ripemd160_process() argument
114 #define F4( x, y, z ) ( ( (x) & (z) ) | ( (y) & ~(z) ) ) in mbedtls_internal_ripemd160_process() argument
115 #define F5( x, y, z ) ( (x) ^ ( (y) | ~(z) ) ) in mbedtls_internal_ripemd160_process() argument
|
| D | constant_time.c | 64 unsigned char x = A[i], y = B[i]; in mbedtls_ct_memcmp() local
136 size_t y ) in mbedtls_ct_size_mask_lt()
151 size_t y ) in mbedtls_ct_size_mask_ge()
179 size_t y ) in mbedtls_ct_size_bool_eq()
218 size_t y ) in mbedtls_ct_size_gt()
229 const mbedtls_mpi_uint y ) in mbedtls_ct_mpi_uint_lt()
|
| D | sha512.c | 310 static inline uint64x2_t vsha512su0q_u64(uint64x2_t x, uint64x2_t y) in vsha512su0q_u64()
315 static inline uint64x2_t vsha512su1q_u64(uint64x2_t x, uint64x2_t y, uint64x2_t z) in vsha512su1q_u64()
320 static inline uint64x2_t vsha512hq_u64(uint64x2_t x, uint64x2_t y, uint64x2_t z) in vsha512hq_u64()
325 static inline uint64x2_t vsha512h2q_u64(uint64x2_t x, uint64x2_t y, uint64x2_t z) in vsha512h2q_u64()
563 #define F0(x,y,z) (((x) & (y)) | ((z) & ((x) | (y)))) in mbedtls_internal_sha512_process_c() argument
564 #define F1(x,y,z) ((z) ^ ((x) & ((y) ^ (z)))) in mbedtls_internal_sha512_process_c() argument
|
| D | sha256.c | 376 #define F0(x,y,z) (((x) & (y)) | ((z) & ((x) | (y)))) argument
377 #define F1(x,y,z) ((z) ^ ((x) & ((y) ^ (z)))) argument
|
| D | aes.c | 359 #define MUL(x,y) ( ( (x) && (y) ) ? pow[(log[(x)]+log[(y)]) % 255] : 0 ) argument
365 int i, x, y, z; in aes_gen_tables() local
|
| D | ecp_curves.c | 47 #define ECP_POINT_INIT_XY_Z0(x, y) { \ argument
49 #define ECP_POINT_INIT_XY_Z1(x, y) { \ argument
|
| D | bignum.c | 1453 mbedtls_mpi_uint x, y, z; in mbedtls_mpi_mod_int() local
|
| D | ecp.c | 674 const char *x, const char *y ) in mbedtls_ecp_point_read_string()
|
