| /mbedtls-3.6.0/3rdparty/everest/include/everest/kremlin/ |
| D | c_endianness.h | 21 # define htole64(x) OSSwapHostToLittleInt64(x) argument
22 # define le64toh(x) OSSwapLittleToHostInt64(x) argument
23 # define htobe64(x) OSSwapHostToBigInt64(x) argument
24 # define be64toh(x) OSSwapBigToHostInt64(x) argument
26 # define htole16(x) OSSwapHostToLittleInt16(x) argument
27 # define le16toh(x) OSSwapLittleToHostInt16(x) argument
28 # define htobe16(x) OSSwapHostToBigInt16(x) argument
29 # define be16toh(x) OSSwapBigToHostInt16(x) argument
31 # define htole32(x) OSSwapHostToLittleInt32(x) argument
32 # define le32toh(x) OSSwapLittleToHostInt32(x) argument
[all …]
|
| /mbedtls-3.6.0/library/ |
| D | constant_time_impl.h | 100 static inline mbedtls_ct_uint_t mbedtls_ct_compiler_opaque(mbedtls_ct_uint_t x) in mbedtls_ct_compiler_opaque()
133 static inline mbedtls_ct_condition_t mbedtls_ct_bool(mbedtls_ct_uint_t x) in mbedtls_ct_bool()
284 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()
395 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()
502 static inline mbedtls_ct_condition_t mbedtls_ct_uint_eq(mbedtls_ct_uint_t x, in mbedtls_ct_uint_eq()
508 static inline mbedtls_ct_condition_t mbedtls_ct_uint_gt(mbedtls_ct_uint_t x, in mbedtls_ct_uint_gt()
514 static inline mbedtls_ct_condition_t mbedtls_ct_uint_ge(mbedtls_ct_uint_t x, in mbedtls_ct_uint_ge()
520 static inline mbedtls_ct_condition_t mbedtls_ct_uint_le(mbedtls_ct_uint_t x, in mbedtls_ct_uint_le()
526 static inline mbedtls_ct_condition_t mbedtls_ct_bool_ne(mbedtls_ct_condition_t x, in mbedtls_ct_bool_ne()
532 static inline mbedtls_ct_condition_t mbedtls_ct_bool_and(mbedtls_ct_condition_t x, in mbedtls_ct_bool_and()
[all …]
|
| D | alignment.h | 56 inline void mbedtls_put_unaligned_uint16(void *p, uint16_t x) in mbedtls_put_unaligned_uint16()
82 inline void mbedtls_put_unaligned_uint32(void *p, uint32_t x) in mbedtls_put_unaligned_uint32()
108 inline void mbedtls_put_unaligned_uint64(void *p, uint64_t x) in mbedtls_put_unaligned_uint64()
118 #define MBEDTLS_BYTE_0(x) ((uint8_t) ((x) & 0xff)) argument
119 #define MBEDTLS_BYTE_1(x) ((uint8_t) (((x) >> 8) & 0xff)) argument
120 #define MBEDTLS_BYTE_2(x) ((uint8_t) (((x) >> 16) & 0xff)) argument
121 #define MBEDTLS_BYTE_3(x) ((uint8_t) (((x) >> 24) & 0xff)) argument
122 #define MBEDTLS_BYTE_4(x) ((uint8_t) (((x) >> 32) & 0xff)) argument
123 #define MBEDTLS_BYTE_5(x) ((uint8_t) (((x) >> 40) & 0xff)) argument
124 #define MBEDTLS_BYTE_6(x) ((uint8_t) (((x) >> 48) & 0xff)) argument
[all …]
|
| D | common.h | 176 uint8x16_t x = veorq_u8(v1, v2); in mbedtls_xor() local
182 uint64_t x = mbedtls_get_unaligned_uint64(a + i) ^ mbedtls_get_unaligned_uint64(b + i); in mbedtls_xor() local
187 uint32_t x = mbedtls_get_unaligned_uint32(a + i) ^ mbedtls_get_unaligned_uint32(b + i); in mbedtls_xor() local
221 uint64_t x = mbedtls_get_unaligned_uint64(a + i) ^ mbedtls_get_unaligned_uint64(b + i); in mbedtls_xor_no_simd() local
226 uint32_t x = mbedtls_get_unaligned_uint32(a + i) ^ mbedtls_get_unaligned_uint32(b + i); in mbedtls_xor_no_simd() local
300 #define MBEDTLS_LIKELY(x) __builtin_expect(!!(x), 1) argument
301 #define MBEDTLS_UNLIKELY(x) __builtin_expect(!!(x), 0) argument
305 #define MBEDTLS_LIKELY(x) x argument
306 #define MBEDTLS_UNLIKELY(x) x argument
|
| D | sha512.c | 38 #define UL64(x) x##ui64 argument
40 #define UL64(x) x##ULL argument
358 static inline uint64x2_t vsha512su0q_u64(uint64x2_t x, uint64x2_t y) in vsha512su0q_u64()
363 static inline uint64x2_t vsha512su1q_u64(uint64x2_t x, uint64x2_t y, uint64x2_t z) in vsha512su1q_u64()
368 static inline uint64x2_t vsha512hq_u64(uint64x2_t x, uint64x2_t y, uint64x2_t z) in vsha512hq_u64()
373 static inline uint64x2_t vsha512h2q_u64(uint64x2_t x, uint64x2_t y, uint64x2_t z) in vsha512h2q_u64()
609 #define SHR(x, n) ((x) >> (n)) in mbedtls_internal_sha512_process_c() argument
610 #define ROTR(x, n) (SHR((x), (n)) | ((x) << (64 - (n)))) in mbedtls_internal_sha512_process_c() argument
612 #define S0(x) (ROTR(x, 1) ^ ROTR(x, 8) ^ SHR(x, 7)) in mbedtls_internal_sha512_process_c() argument
613 #define S1(x) (ROTR(x, 19) ^ ROTR(x, 61) ^ SHR(x, 6)) in mbedtls_internal_sha512_process_c() argument
[all …]
|
| D | sha1.c | 89 #define S(x, n) (((x) << (n)) | (((x) & 0xFFFFFFFF) >> (32 - (n)))) in mbedtls_internal_sha1_process() argument
100 #define P(a, b, c, d, e, x) \ in mbedtls_internal_sha1_process() argument
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 | sha256.c | 425 #define SHR(x, n) (((x) & 0xFFFFFFFF) >> (n)) argument
426 #define ROTR(x, n) (SHR(x, n) | ((x) << (32 - (n)))) argument
428 #define S0(x) (ROTR(x, 7) ^ ROTR(x, 18) ^ SHR(x, 3)) argument
429 #define S1(x) (ROTR(x, 17) ^ ROTR(x, 19) ^ SHR(x, 10)) argument
431 #define S2(x) (ROTR(x, 2) ^ ROTR(x, 13) ^ ROTR(x, 22)) argument
432 #define S3(x) (ROTR(x, 6) ^ ROTR(x, 11) ^ ROTR(x, 25)) argument
434 #define F0(x, y, z) (((x) & (y)) | ((z) & ((x) | (y)))) argument
435 #define F1(x, y, z) ((z) ^ ((x) & ((y) ^ (z)))) argument
443 #define P(a, b, c, d, e, f, g, h, x, K) \ argument
|
| D | md5.c | 88 #define S(x, n) \ in mbedtls_internal_md5_process() argument
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 | 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
105 #define S(x, n) (((x) << (n)) | ((x) >> (32 - (n)))) in mbedtls_internal_ripemd160_process() argument
|
| D | aria.c | 48 static inline uint32_t aria_p1(uint32_t x) in aria_p1()
57 static inline uint32_t aria_p1(uint32_t x) in aria_p1()
69 #define ARIA_P1(x) ARIA_P2(ARIA_P3(x)) argument
73 #define ARIA_P1(x) ((((x) >> 8) & 0x00FF00FF) ^ (((x) & 0x00FF00FF) << 8)) argument
83 #define ARIA_P2(x) (((x) >> 16) ^ ((x) << 16)) argument
90 #define ARIA_P3(x) MBEDTLS_BSWAP32(x) argument
|
| D | constant_time.c | 98 uint32_t x = mbedtls_get_unaligned_volatile_uint32(A + i); in mbedtls_ct_memcmp() local
108 unsigned char x = A[i], y = B[i]; in mbedtls_ct_memcmp() local
148 unsigned char x = A[i], y = B[i]; in mbedtls_ct_memcmp_partial() local
|
| D | padlock.h | 47 #define MBEDTLS_PADLOCK_ALIGN16(x) (uint32_t *) (16 + ((int32_t) (x) & ~15)) argument
|
| D | aes.c | 403 #define ROTL8(x) (((x) << 8) & 0xFFFFFFFF) | ((x) >> 24) argument
404 #define XTIME(x) (((x) << 1) ^ (((x) & 0x80) ? 0x1B : 0x00)) argument
405 #define MUL(x, y) (((x) && (y)) ? pow[(log[(x)]+log[(y)]) % 255] : 0) argument
412 uint8_t x, y, z; in aes_gen_tables() local
496 #define ROTL8(x) ((uint32_t) ((x) << 8) + (uint32_t) ((x) >> 24)) argument
497 #define ROTL16(x) ((uint32_t) ((x) << 16) + (uint32_t) ((x) >> 16)) argument
498 #define ROTL24(x) ((uint32_t) ((x) << 24) + (uint32_t) ((x) >> 8)) argument
|
| D | sha3.c | 68 #define ROT64(x, y) (((x) << (y)) | ((x) >> (64U - (y)))) argument
72 #define SWAP(x, y) do { uint64_t tmp = (x); (x) = (y); (y) = tmp; } while (0) argument
|
| D | base64.c | 133 uint32_t x; /* value accumulator */ in mbedtls_base64_decode() local
|
| D | ecjpake.c | 317 const mbedtls_mpi *x, in ecjpake_zkp_write()
415 mbedtls_mpi *x, in ecjpake_kkp_write()
1025 static uint32_t x = 42; in ecjpake_lgc() local
1039 #define TEST_ASSERT(x) \ argument
|
| /mbedtls-3.6.0/3rdparty/everest/library/kremlib/ |
| D | FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c | 15 uint64_t x = a ^ b; in FStar_UInt64_eq_mask() local
24 uint64_t x = a; in FStar_UInt64_gte_mask() local
37 uint32_t x = a ^ b; in FStar_UInt32_eq_mask() local
46 uint32_t x = a; in FStar_UInt32_gte_mask() local
59 uint16_t x = a ^ b; in FStar_UInt16_eq_mask() local
68 uint16_t x = a; in FStar_UInt16_gte_mask() local
81 uint8_t x = a ^ b; in FStar_UInt8_eq_mask() local
90 uint8_t x = a; 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.6.0/3rdparty/p256-m/p256-m/ |
| D | p256-m.c | 69 static void u256_set32(uint32_t z[8], uint32_t x) in u256_set32()
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()
350 static uint32_t u288_muladd(uint32_t z[9], uint32_t x, const uint32_t y[8]) in u288_muladd()
665 static void m256_set32(uint32_t z[8], uint32_t x, const m256_mod *mod) in m256_set32()
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
[all …]
|
| /mbedtls-3.6.0/3rdparty/everest/include/everest/kremlin/internal/ |
| D | compat.h | 22 #define RETURN_OR(x) \ argument
|
| /mbedtls-3.6.0/tests/include/test/ |
| D | helpers.h | 39 uint8_t *x; member
|
| /mbedtls-3.6.0/tests/include/spe/ |
| D | crypto_spe.h | 22 #define PSA_FUNCTION_NAME(x) mbedcrypto__ ## x argument
|
| /mbedtls-3.6.0/3rdparty/everest/library/ |
| D | Hacl_Curve25519.c | 381 uint64_t x = swap1 & (ai ^ bi); in Hacl_EC_Point_swap_conditional_step() local
560 uint64_t *x = point; in Hacl_EC_Format_scalar_of_point() local
584 uint64_t *x = p; in Hacl_EC_AddAndDouble_fmonty() local
753 uint64_t *x = nq; in Hacl_Curve25519_crypto_scalarmult() local
|
| /mbedtls-3.6.0/3rdparty/everest/library/legacy/ |
| D | Hacl_Curve25519.c | 426 uint64_t x = swap1 & (ai ^ bi); in Hacl_EC_Point_swap_conditional_step() local
605 uint64_t *x = point; in Hacl_EC_Format_scalar_of_point() local
629 uint64_t *x = p; in Hacl_EC_AddAndDouble_fmonty() local
798 uint64_t *x = nq; in Hacl_Curve25519_crypto_scalarmult() local
|
| /mbedtls-3.6.0/include/mbedtls/ |
| D | asn1.h | 113 #define MBEDTLS_OID_SIZE(x) (sizeof(x) - 1) argument
|
