| /mbedtls-development/3rdparty/everest/library/kremlib/ |
| A 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
|
| A 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-development/library/ |
| A D | md5.c | 122 #define F(x,y,z) ((z) ^ ((x) & ((y) ^ (z)))) in mbedtls_internal_md5_process() argument
143 #define F(x,y,z) ((y) ^ ((z) & ((x) ^ (y)))) in mbedtls_internal_md5_process() argument
164 #define F(x,y,z) ((x) ^ (y) ^ (z)) in mbedtls_internal_md5_process() argument
185 #define F(x,y,z) ((y) ^ ((x) | ~(z))) in mbedtls_internal_md5_process() argument
|
| A D | sha1.c | 147 #define F(x,y,z) ((z) ^ ((x) & ((y) ^ (z)))) in mbedtls_internal_sha1_process() argument
174 #define F(x,y,z) ((x) ^ (y) ^ (z)) in mbedtls_internal_sha1_process() argument
201 #define F(x,y,z) (((x) & (y)) | ((z) & ((x) | (y)))) in mbedtls_internal_sha1_process() argument
228 #define F(x,y,z) ((x) ^ (y) ^ (z)) in mbedtls_internal_sha1_process() argument
|
| A D | ripemd160.c | 118 #define F1( x, y, z ) ( (x) ^ (y) ^ (z) ) in mbedtls_internal_ripemd160_process() argument
119 #define F2( x, y, z ) ( ( (x) & (y) ) | ( ~(x) & (z) ) ) in mbedtls_internal_ripemd160_process() argument
120 #define F3( x, y, z ) ( ( (x) | ~(y) ) ^ (z) ) in mbedtls_internal_ripemd160_process() argument
121 #define F4( x, y, z ) ( ( (x) & (z) ) | ( (y) & ~(z) ) ) in mbedtls_internal_ripemd160_process() argument
122 #define F5( x, y, z ) ( (x) ^ ( (y) | ~(z) ) ) in mbedtls_internal_ripemd160_process() argument
|
| A D | sha256.c | 155 #define F0(x,y,z) (((x) & (y)) | ((z) & ((x) | (y)))) argument
156 #define F1(x,y,z) ((z) ^ ((x) & ((y) ^ (z)))) argument
|
| A D | sha512.c | 214 #define F0(x,y,z) (((x) & (y)) | ((z) & ((x) | (y)))) in mbedtls_internal_sha512_process() argument
215 #define F1(x,y,z) ((z) ^ ((x) & ((y) ^ (z)))) in mbedtls_internal_sha512_process() argument
|
| A D | nist_kw.c | 68 unsigned char x = A[i], y = B[i]; in mbedtls_nist_kw_safer_memcmp() local
|
| A D | aes.c | 372 #define MUL(x,y) ( ( (x) && (y) ) ? pow[(log[(x)]+log[(y)]) % 255] : 0 ) argument
378 int i, x, y, z; in aes_gen_tables() local
|
| A D | ssl_msg.c | 1001 static size_t mbedtls_ssl_cf_mask_lt( size_t x, size_t y ) in mbedtls_ssl_cf_mask_lt()
1026 static size_t mbedtls_ssl_cf_mask_ge( size_t x, size_t y ) in mbedtls_ssl_cf_mask_ge()
1042 static size_t mbedtls_ssl_cf_bool_eq( size_t x, size_t y ) in mbedtls_ssl_cf_bool_eq()
|
| A D | bignum.c | 1257 const mbedtls_mpi_uint y ) in ct_lt_mpi_uint()
2074 mbedtls_mpi_uint x, y, z; in mbedtls_mpi_mod_int() local
2241 static size_t mbedtls_mpi_cf_bool_eq( size_t x, size_t y ) in mbedtls_mpi_cf_bool_eq()
|
| A D | ecp_curves.c | 51 #define ECP_POINT_INIT_XY_Z0(x, y) { \ argument
53 #define ECP_POINT_INIT_XY_Z1(x, y) { \ argument
|
| A D | ssl_misc.h | 1402 unsigned char x = A[i], y = B[i]; in mbedtls_ssl_safer_memcmp() local
|
| A D | ecp.c | 703 const char *x, const char *y ) in mbedtls_ecp_point_read_string()
|
| /mbedtls-development/tests/include/test/ |
| A D | macros.h | 232 #define MIN( x, y ) ( ( x ) < ( y ) ? ( x ) : ( y ) ) argument
241 #define MAX( x, y ) ( ( x ) > ( y ) ? ( x ) : ( y ) ) argument
|