Home
last modified time | relevance | path

Searched refs:uint32_t (Results 1 – 25 of 124) sorted by relevance

12345

/mbedtls-3.6.0/3rdparty/p256-m/p256-m/
Dp256-m.c69 static void u256_set32(uint32_t z[8], uint32_t x) in u256_set32()
87 static uint32_t u256_add(uint32_t z[8], in u256_add()
88 const uint32_t x[8], const uint32_t y[8]) in u256_add()
90 uint32_t carry = 0; in u256_add()
94 z[i] = (uint32_t) sum; in u256_add()
95 carry = (uint32_t) (sum >> 32); in u256_add()
111 static uint32_t u256_sub(uint32_t z[8], in u256_sub()
112 const uint32_t x[8], const uint32_t y[8]) in u256_sub()
114 uint32_t carry = 0; in u256_sub()
118 z[i] = (uint32_t) diff; in u256_sub()
[all …]
/mbedtls-3.6.0/3rdparty/everest/include/everest/kremlib/
DFStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.h59 extern uint64_t FStar_UInt64_shift_right(uint64_t x0, uint32_t x1);
61 extern uint64_t FStar_UInt64_shift_left(uint64_t x0, uint32_t x1);
75 extern uint32_t FStar_UInt64_n_minus_one;
87 extern Prims_int FStar_UInt32_v(uint32_t x0);
89 extern uint32_t FStar_UInt32_uint_to_t(Prims_int x0);
91 extern uint32_t FStar_UInt32_add(uint32_t x0, uint32_t x1);
93 extern uint32_t FStar_UInt32_add_underspec(uint32_t x0, uint32_t x1);
95 extern uint32_t FStar_UInt32_add_mod(uint32_t x0, uint32_t x1);
97 extern uint32_t FStar_UInt32_sub(uint32_t x0, uint32_t x1);
99 extern uint32_t FStar_UInt32_sub_underspec(uint32_t x0, uint32_t x1);
[all …]
DFStar_UInt128.h48 FStar_UInt128_uint128 FStar_UInt128_shift_left(FStar_UInt128_uint128 a, uint32_t s);
50 FStar_UInt128_uint128 FStar_UInt128_shift_right(FStar_UInt128_uint128 a, uint32_t s);
101 (*FStar_UInt128_op_Less_Less_Hat)(FStar_UInt128_uint128 x0, uint32_t x1);
104 (*FStar_UInt128_op_Greater_Greater_Hat)(FStar_UInt128_uint128 x0, uint32_t x1);
119 FStar_UInt128_uint128 FStar_UInt128_mul32(uint64_t x, uint32_t y);
/mbedtls-3.6.0/3rdparty/everest/library/
DHacl_Curve25519.c23 extern uint128_t FStar_UInt128_shift_right(uint128_t x0, uint32_t x1);
36 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top()
43 uint32_t i; in Hacl_Bignum_Fproduct_copy_from_wide_()
44 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_copy_from_wide_()
54 uint32_t i; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
55 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
65 uint32_t i; in Hacl_Bignum_Fproduct_carry_wide_()
66 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_carry_wide_()
68 uint32_t ctr = i; in Hacl_Bignum_Fproduct_carry_wide_()
70 uint128_t tctrp1 = tmp[ctr + (uint32_t)1U]; in Hacl_Bignum_Fproduct_carry_wide_()
[all …]
/mbedtls-3.6.0/3rdparty/everest/library/legacy/
DHacl_Curve25519.c26 extern FStar_UInt128_uint128 FStar_UInt128_shift_right(FStar_UInt128_uint128 x0, uint32_t x1);
39 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top()
47 uint32_t i; in Hacl_Bignum_Fproduct_copy_from_wide_()
48 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_copy_from_wide_()
62 uint32_t i; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
63 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
73 uint32_t i; in Hacl_Bignum_Fproduct_carry_wide_()
74 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_carry_wide_()
76 uint32_t ctr = i; in Hacl_Bignum_Fproduct_carry_wide_()
78 FStar_UInt128_uint128 tctrp1 = tmp[ctr + (uint32_t)1U]; in Hacl_Bignum_Fproduct_carry_wide_()
[all …]
/mbedtls-3.6.0/3rdparty/everest/library/kremlib/
DFStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c18 uint64_t xnx = x_or_minus_x >> (uint32_t)63U; in FStar_UInt64_eq_mask()
31 uint64_t x_xor_q_ = x_xor_q >> (uint32_t)63U; in FStar_UInt64_gte_mask()
35 uint32_t FStar_UInt32_eq_mask(uint32_t a, uint32_t b) in FStar_UInt32_eq_mask()
37 uint32_t x = a ^ b; in FStar_UInt32_eq_mask()
38 uint32_t minus_x = ~x + (uint32_t)1U; in FStar_UInt32_eq_mask()
39 uint32_t x_or_minus_x = x | minus_x; in FStar_UInt32_eq_mask()
40 uint32_t xnx = x_or_minus_x >> (uint32_t)31U; in FStar_UInt32_eq_mask()
41 return xnx - (uint32_t)1U; in FStar_UInt32_eq_mask()
44 uint32_t FStar_UInt32_gte_mask(uint32_t a, uint32_t b) in FStar_UInt32_gte_mask()
46 uint32_t x = a; in FStar_UInt32_gte_mask()
[all …]
DFStar_UInt128_extracted.c27 return (a ^ ((a ^ b) | ((a - b) ^ b))) >> (uint32_t)63U; in FStar_UInt128_constant_time_carry()
109 static uint32_t FStar_UInt128_u32_64 = (uint32_t)64U;
111 static uint64_t FStar_UInt128_add_u64_shift_left(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left()
116 static uint64_t FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec()
122 FStar_UInt128_shift_left_small(FStar_UInt128_uint128 a, uint32_t s) in FStar_UInt128_shift_left_small()
124 if (s == (uint32_t)0U) in FStar_UInt128_shift_left_small()
137 FStar_UInt128_shift_left_large(FStar_UInt128_uint128 a, uint32_t s) in FStar_UInt128_shift_left_large()
143 FStar_UInt128_uint128 FStar_UInt128_shift_left(FStar_UInt128_uint128 a, uint32_t s) in FStar_UInt128_shift_left()
155 static uint64_t FStar_UInt128_add_u64_shift_right(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_right()
160 static uint64_t FStar_UInt128_add_u64_shift_right_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_right_respec()
[all …]
/mbedtls-3.6.0/library/
Dpoly1305.c30 static uint64_t mul64(uint32_t a, uint32_t b) in mul64()
39 const uint32_t lo = (uint32_t) al * bl; in mul64()
40 const uint64_t me = (uint64_t) ((uint32_t) ah * bl) + (uint32_t) al * bh; in mul64()
41 const uint32_t hi = (uint32_t) ah * bh; in mul64()
46 static inline uint64_t mul64(uint32_t a, uint32_t b) in mul64()
67 uint32_t needs_padding) in poly1305_process()
70 uint32_t acc0, acc1, acc2, acc3, acc4; in poly1305_process()
71 uint32_t r0, r1, r2, r3; in poly1305_process()
72 uint32_t rs1, rs2, rs3; in poly1305_process()
104 acc0 = (uint32_t) d0; in poly1305_process()
[all …]
Daria.c48 static inline uint32_t aria_p1(uint32_t x) in aria_p1()
50 uint32_t r; in aria_p1()
57 static inline uint32_t aria_p1(uint32_t x) in aria_p1()
59 uint32_t r; in aria_p1()
115 static inline void aria_a(uint32_t *a, uint32_t *b, in aria_a()
116 uint32_t *c, uint32_t *d) in aria_a()
118 uint32_t ta, tb, tc; in aria_a()
147 static inline void aria_sl(uint32_t *a, uint32_t *b, in aria_sl()
148 uint32_t *c, uint32_t *d, in aria_sl()
152 *a = ((uint32_t) sa[MBEDTLS_BYTE_0(*a)]) ^ in aria_sl()
[all …]
Dalignment.h68 inline uint32_t mbedtls_get_unaligned_uint32(const void *p) in mbedtls_get_unaligned_uint32()
70 uint32_t r; in mbedtls_get_unaligned_uint32()
82 inline void mbedtls_put_unaligned_uint32(void *p, uint32_t x) in mbedtls_put_unaligned_uint32()
194 static inline uint32_t mbedtls_bswap32(uint32_t x) in mbedtls_bswap32()
256 mbedtls_put_unaligned_uint32((data) + (offset), (uint32_t) (n)); \
260 mbedtls_put_unaligned_uint32((data) + (offset), MBEDTLS_BSWAP32((uint32_t) (n))); \
293 mbedtls_put_unaligned_uint32((data) + (offset), MBEDTLS_BSWAP32((uint32_t) (n))); \
297 mbedtls_put_unaligned_uint32((data) + (offset), ((uint32_t) (n))); \
384 ((uint32_t) (data)[(offset)] << 16) \
385 | ((uint32_t) (data)[(offset) + 1] << 8) \
[all …]
Dconstant_time.c62 static inline uint32_t mbedtls_get_unaligned_volatile_uint32(volatile const unsigned char *p) in mbedtls_get_unaligned_volatile_uint32()
68 uint32_t r; in mbedtls_get_unaligned_volatile_uint32()
94 uint32_t diff = 0; in mbedtls_ct_memcmp()
98 uint32_t x = mbedtls_get_unaligned_volatile_uint32(A + i); in mbedtls_ct_memcmp()
99 uint32_t y = mbedtls_get_unaligned_volatile_uint32(B + i); in mbedtls_ct_memcmp()
193 const uint32_t mask = (uint32_t) condition; in mbedtls_ct_memcpy_if()
194 const uint32_t not_mask = (uint32_t) ~mbedtls_ct_compiler_opaque(condition); in mbedtls_ct_memcpy_if()
217 uint32_t a = mbedtls_get_unaligned_uint32(src1 + i) & mask; in mbedtls_ct_memcpy_if()
218 uint32_t b = mbedtls_get_unaligned_uint32(src2 + i) & not_mask; in mbedtls_ct_memcpy_if()
247 uint32_t mask = (uint32_t) ~condition; in mbedtls_ct_zeroize_if()
Daes.c187 static const uint32_t FT0[256] = { FT };
193 static const uint32_t FT1[256] = { FT };
197 static const uint32_t FT2[256] = { FT };
201 static const uint32_t FT3[256] = { FT };
324 static const uint32_t RT0[256] = { RT };
330 static const uint32_t RT1[256] = { RT };
334 static const uint32_t RT2[256] = { RT };
338 static const uint32_t RT3[256] = { RT };
351 static const uint32_t RCON[10] =
370 static uint32_t FT0[256];
[all …]
Ddes.c31 static const uint32_t SB1[64] =
51 static const uint32_t SB2[64] =
71 static const uint32_t SB3[64] =
91 static const uint32_t SB4[64] =
111 static const uint32_t SB5[64] =
131 static const uint32_t SB6[64] =
151 static const uint32_t SB7[64] =
171 static const uint32_t SB8[64] =
194 static const uint32_t LHs[16] =
202 static const uint32_t RHs[16] =
[all …]
Dcamellia.c249 static void camellia_feistel(const uint32_t x[2], const uint32_t k[2], in camellia_feistel()
250 uint32_t z[2]) in camellia_feistel()
252 uint32_t I0, I1; in camellia_feistel()
256 I0 = ((uint32_t) SBOX1(MBEDTLS_BYTE_3(I0)) << 24) | in camellia_feistel()
257 ((uint32_t) SBOX2(MBEDTLS_BYTE_2(I0)) << 16) | in camellia_feistel()
258 ((uint32_t) SBOX3(MBEDTLS_BYTE_1(I0)) << 8) | in camellia_feistel()
259 ((uint32_t) SBOX4(MBEDTLS_BYTE_0(I0))); in camellia_feistel()
260 I1 = ((uint32_t) SBOX2(MBEDTLS_BYTE_3(I1)) << 24) | in camellia_feistel()
261 ((uint32_t) SBOX3(MBEDTLS_BYTE_2(I1)) << 16) | in camellia_feistel()
262 ((uint32_t) SBOX4(MBEDTLS_BYTE_1(I1)) << 8) | in camellia_feistel()
[all …]
Dpadlock.c63 uint32_t *rk; in mbedtls_padlock_xcryptecb()
64 uint32_t *blk; in mbedtls_padlock_xcryptecb()
65 uint32_t *ctrl; in mbedtls_padlock_xcryptecb()
111 uint32_t *rk; in mbedtls_padlock_xcryptcbc()
112 uint32_t *iw; in mbedtls_padlock_xcryptcbc()
113 uint32_t *ctrl; in mbedtls_padlock_xcryptcbc()
Dpsa_crypto_its.h24 typedef uint32_t psa_storage_create_flags_t;
37 uint32_t size; /**< The size of the data associated with a uid **/
66 uint32_t data_length,
91 uint32_t data_offset,
92 uint32_t data_length,
Daesce.c261 static inline uint32_t aes_rot_word(uint32_t word) in aes_rot_word()
266 static inline uint32_t aes_sub_word(uint32_t in) in aes_sub_word()
290 const uint32_t key_len_in_words = key_bit_length / 32; /* Nk */ in aesce_setkey_enc()
295 const uint32_t *rko_end = (uint32_t *) rk + round_keys_len_in_words; in aesce_setkey_enc()
299 for (uint32_t *rki = (uint32_t *) rk; in aesce_setkey_enc()
303 size_t iteration = (rki - (uint32_t *) rk) / key_len_in_words; in aesce_setkey_enc()
304 uint32_t *rko; in aesce_setkey_enc()
Dchacha20.c28 ((uint32_t) ((value) << (amount)) | ((value) >> (32 - (amount))))
49 static inline void chacha20_quarter_round(uint32_t state[16], in chacha20_quarter_round()
84 static void chacha20_inner_block(uint32_t state[16]) in chacha20_inner_block()
103 static void chacha20_block(const uint32_t initial_state[16], in chacha20_block()
106 uint32_t working_state[16]; in chacha20_block()
183 uint32_t counter) in mbedtls_chacha20_starts()
247 uint32_t counter, in mbedtls_chacha20_crypt()
306 static const uint32_t test_counters[2] =
Dpsa_crypto_storage.c47 uint32_t unsigned_owner_id = MBEDTLS_SVC_KEY_ID_GET_OWNER_ID(key); in psa_its_identifier_of_slot()
89 status = psa_its_get(data_identifier, 0, (uint32_t) data_size, data, &data_length); in psa_crypto_storage_load()
140 status = psa_its_set(data_identifier, (uint32_t) data_length, data, 0); in psa_crypto_storage_store()
251 MBEDTLS_PUT_UINT32_LE(attr->policy.alg, storage_format->policy, sizeof(uint32_t)); in psa_format_key_data_for_storage()
252 MBEDTLS_PUT_UINT32_LE(attr->policy.alg2, storage_format->policy, 2 * sizeof(uint32_t)); in psa_format_key_data_for_storage()
275 uint32_t version; in psa_parse_key_data_from_storage()
311 attr->policy.alg = MBEDTLS_GET_UINT32_LE(storage_format->policy, sizeof(uint32_t)); in psa_parse_key_data_from_storage()
312 attr->policy.alg2 = MBEDTLS_GET_UINT32_LE(storage_format->policy, 2 * sizeof(uint32_t)); in psa_parse_key_data_from_storage()
/mbedtls-3.6.0/programs/ssl/
Dssl_context_info.c448 void print_deserialized_ssl_cert(const uint8_t *ssl, uint32_t len) in print_deserialized_ssl_cert()
514 void print_deserialized_ssl_session(const uint8_t *ssl, uint32_t len, in print_deserialized_ssl_session()
519 uint32_t cert_len, ticket_len; in print_deserialized_ssl_session()
520 uint32_t verify_result, ticket_lifetime; in print_deserialized_ssl_session()
581 printf_dbg("Session id length: %u\n", (uint32_t) *ssl++); in print_deserialized_ssl_session()
592 verify_result = ((uint32_t) ssl[0] << 24) | in print_deserialized_ssl_session()
593 ((uint32_t) ssl[1] << 16) | in print_deserialized_ssl_session()
594 ((uint32_t) ssl[2] << 8) | in print_deserialized_ssl_session()
595 ((uint32_t) ssl[3]); in print_deserialized_ssl_session()
602 cert_len = ((uint32_t) ssl[0] << 16) | in print_deserialized_ssl_session()
[all …]
/mbedtls-3.6.0/3rdparty/everest/include/everest/kremlin/
Dc_endianness.h109 uint32_t _temp = (x); \
120 uint32_t __low = htobe32((uint32_t)__temp); \
121 uint32_t __high = htobe32((uint32_t)(__temp >> 32)); \
133 uint32_t _temp = (x); \
144 uint32_t __low = htobe32((uint32_t)__temp); \
145 uint32_t __high = htobe32((uint32_t)(__temp >> 32)); \
165 inline static uint32_t load32(uint8_t *b) { in load32()
166 uint32_t x; in load32()
181 inline static void store32(uint8_t *b, uint32_t i) { in store32()
/mbedtls-3.6.0/include/mbedtls/
Dx509_crt.h126 uint32_t allowed_mds; /**< MDs for signatures */
127 uint32_t allowed_pks; /**< PK algs for public keys;
130 uint32_t allowed_curves; /**< Elliptic curves for ECDSA */
131 uint32_t rsa_min_bitlen; /**< Minimum size for RSA keys */
252 uint32_t MBEDTLS_PRIVATE(flags);
597 uint32_t flags);
673 const char *cn, uint32_t *flags,
674 int (*f_vrfy)(void *, mbedtls_x509_crt *, int, uint32_t *),
715 const char *cn, uint32_t *flags,
716 int (*f_vrfy)(void *, mbedtls_x509_crt *, int, uint32_t *),
[all …]
Dtiming.h38 uint32_t MBEDTLS_PRIVATE(int_ms);
39 uint32_t MBEDTLS_PRIVATE(fin_ms);
63 void mbedtls_timing_set_delay(void *data, uint32_t int_ms, uint32_t fin_ms);
87 uint32_t mbedtls_timing_get_final_delay(
Dssl.h778 uint32_t timeout);
802 uint32_t int_ms,
803 uint32_t fin_ms);
1218 uint32_t MBEDTLS_PRIVATE(verify_result); /*!< verification result */
1223 uint32_t MBEDTLS_PRIVATE(ticket_lifetime); /*!< ticket lifetime hint */
1229 …uint32_t MBEDTLS_PRIVATE(ticket_age_add); /*!< Randomly generated value used to obsc…
1430 int(*MBEDTLS_PRIVATE(f_vrfy))(void *, mbedtls_x509_crt *, int, uint32_t *);
1456 uint32_t *);
1545 uint32_t MBEDTLS_PRIVATE(max_early_data_size);
1565 uint32_t MBEDTLS_PRIVATE(read_timeout); /*!< timeout for mbedtls_ssl_read (ms) */
[all …]
/mbedtls-3.6.0/include/psa/
Dcrypto_types.h127 typedef uint32_t psa_algorithm_t;
176 typedef uint32_t psa_key_lifetime_t;
253 typedef uint32_t psa_key_location_t;
268 typedef uint32_t psa_key_id_t;
316 typedef uint32_t psa_key_usage_t;

12345