Home
last modified time | relevance | path

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

1234

/mbedtls-development/3rdparty/everest/include/everest/kremlib/
A DFStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.h91 extern uint32_t FStar_UInt32_add(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);
103 extern uint32_t FStar_UInt32_mul(uint32_t x0, uint32_t x1);
111 extern uint32_t FStar_UInt32_div(uint32_t x0, uint32_t x1);
113 extern uint32_t FStar_UInt32_rem(uint32_t x0, uint32_t x1);
115 extern uint32_t FStar_UInt32_logand(uint32_t x0, uint32_t x1);
117 extern uint32_t FStar_UInt32_logxor(uint32_t x0, uint32_t x1);
119 extern uint32_t FStar_UInt32_logor(uint32_t x0, uint32_t x1);
141 uint32_t FStar_UInt32_eq_mask(uint32_t a, uint32_t b);
[all …]
A 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-development/3rdparty/everest/library/
A DHacl_Curve25519.c44 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_copy_from_wide_()
55 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
66 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_carry_wide_()
84 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fmul_shift_reduce()
86 uint32_t ctr = (uint32_t)5U - i - (uint32_t)1U; in Hacl_Bignum_Fmul_shift_reduce()
103 for (i0 = (uint32_t)0U; i0 < (uint32_t)4U; i0 = i0 + (uint32_t)1U) in Hacl_Bignum_Fmul_mul_shift_reduce_()
292 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_fsum()
321 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_fdifference()
347 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_fscalar()
378 uint32_t i = ctr - (uint32_t)1U; in Hacl_EC_Point_swap_conditional_step()
[all …]
/mbedtls-development/3rdparty/everest/library/legacy/
A DHacl_Curve25519.c48 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_copy_from_wide_()
63 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
74 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_carry_wide_()
92 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fmul_shift_reduce()
94 uint32_t ctr = (uint32_t)5U - i - (uint32_t)1U; in Hacl_Bignum_Fmul_shift_reduce()
115 for (i0 = (uint32_t)0U; i0 < (uint32_t)4U; i0 = i0 + (uint32_t)1U) in Hacl_Bignum_Fmul_mul_shift_reduce_()
334 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_fsum()
363 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_fdifference()
423 uint32_t i = ctr - (uint32_t)1U; in Hacl_EC_Point_swap_conditional_step()
728 uint32_t i_ = i - (uint32_t)1U; in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()
[all …]
/mbedtls-development/3rdparty/everest/library/kremlib/
A DFStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c35 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()
40 uint32_t xnx = x_or_minus_x >> (uint32_t)31U; 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()
47 uint32_t y = b; in FStar_UInt32_gte_mask()
48 uint32_t x_xor_y = x ^ y; in FStar_UInt32_gte_mask()
49 uint32_t x_sub_y = x - y; in FStar_UInt32_gte_mask()
52 uint32_t x_xor_q = x ^ q; in FStar_UInt32_gte_mask()
[all …]
A 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;
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()
166 FStar_UInt128_shift_right_small(FStar_UInt128_uint128 a, uint32_t s) in FStar_UInt128_shift_right_small()
168 if (s == (uint32_t)0U) in FStar_UInt128_shift_right_small()
181 FStar_UInt128_shift_right_large(FStar_UInt128_uint128 a, uint32_t s) in FStar_UInt128_shift_right_large()
302 (*FStar_UInt128_op_Less_Less_Hat)(FStar_UInt128_uint128 x0, uint32_t x1) =
334 static uint32_t FStar_UInt128_u32_32 = (uint32_t)32U;
[all …]
/mbedtls-development/library/
A Dpoly1305.c60 static uint64_t mul64( uint32_t a, uint32_t b ) in mul64()
69 const uint32_t lo = (uint32_t) al * bl; in mul64()
70 const uint64_t me = (uint64_t)( (uint32_t) ah * bl ) + (uint32_t) al * bh; in mul64()
71 const uint32_t hi = (uint32_t) ah * bh; in mul64()
76 static inline uint64_t mul64( uint32_t a, uint32_t b ) in mul64()
208 uint32_t mask; in poly1305_compute_mac()
209 uint32_t mask_inv; in poly1305_compute_mac()
224 g0 = (uint32_t) d; in poly1305_compute_mac()
226 g1 = (uint32_t) d; in poly1305_compute_mac()
228 g2 = (uint32_t) d; in poly1305_compute_mac()
[all …]
A Daria.c72 static inline uint32_t aria_p1( uint32_t x ) in aria_p1()
74 uint32_t r; in aria_p1()
81 static inline uint32_t aria_p1( uint32_t x ) in aria_p1()
83 uint32_t r; in aria_p1()
123 static inline uint32_t aria_p3( uint32_t x ) in aria_p3()
132 static inline uint32_t aria_p3( uint32_t x ) in aria_p3()
143 static inline uint32_t aria_p3( uint32_t x ) in aria_p3()
178 static inline void aria_a( uint32_t *a, uint32_t *b, in aria_a()
179 uint32_t *c, uint32_t *d ) in aria_a()
210 static inline void aria_sl( uint32_t *a, uint32_t *b, in aria_sl()
[all …]
A Dcommon.h97 ( (uint32_t) ( data )[( offset ) ] << 24 ) \
98 | ( (uint32_t) ( data )[( offset ) + 1] << 16 ) \
99 | ( (uint32_t) ( data )[( offset ) + 2] << 8 ) \
100 | ( (uint32_t) ( data )[( offset ) + 3] ) \
135 ( (uint32_t) ( data )[( offset ) ] ) \
136 | ( (uint32_t) ( data )[( offset ) + 1] << 8 ) \
137 | ( (uint32_t) ( data )[( offset ) + 2] << 16 ) \
138 | ( (uint32_t) ( data )[( offset ) + 3] << 24 ) \
241 ( (uint32_t) ( data )[( offset ) ] << 16 ) \
242 | ( (uint32_t) ( data )[( offset ) + 1] << 8 ) \
[all …]
A Dpsa_crypto_its.h36 typedef uint32_t psa_storage_create_flags_t;
50 uint32_t size; /**< The size of the data associated with a uid **/
84 uint32_t data_length,
109 uint32_t data_offset,
110 uint32_t data_length,
A Daes.c344 static uint32_t FT0[256];
462 #define ROTL8(x) ( (uint32_t)( ( x ) << 8 ) + (uint32_t)( ( x ) >> 24 ) )
463 #define ROTL16(x) ( (uint32_t)( ( x ) << 16 ) + (uint32_t)( ( x ) >> 16 ) )
464 #define ROTL24(x) ( (uint32_t)( ( x ) << 24 ) + (uint32_t)( ( x ) >> 8 ) )
532 uint32_t *RK; in mbedtls_aes_setkey_enc()
649 uint32_t *RK; in mbedtls_aes_setkey_dec()
650 uint32_t *SK; in mbedtls_aes_setkey_dec()
849 uint32_t X[4]; in mbedtls_internal_aes_encrypt()
850 uint32_t Y[4]; in mbedtls_internal_aes_encrypt()
913 uint32_t X[4]; in mbedtls_internal_aes_decrypt()
[all …]
A Dpadlock.c80 uint32_t *rk; in mbedtls_padlock_xcryptecb()
81 uint32_t *blk; in mbedtls_padlock_xcryptecb()
82 uint32_t *ctrl; in mbedtls_padlock_xcryptecb()
123 uint32_t *rk; in mbedtls_padlock_xcryptcbc()
124 uint32_t *iw; in mbedtls_padlock_xcryptcbc()
125 uint32_t *ctrl; in mbedtls_padlock_xcryptcbc()
A Ddes.c50 static const uint32_t SB1[64] =
70 static const uint32_t SB2[64] =
90 static const uint32_t SB3[64] =
110 static const uint32_t SB4[64] =
402 uint32_t X, Y, T; in mbedtls_des_setkey()
528 uint32_t sk[96]; in mbedtls_des3_set2key_enc()
542 uint32_t sk[96]; in mbedtls_des3_set2key_dec()
579 uint32_t sk[96]; in mbedtls_des3_set3key_enc()
593 uint32_t sk[96]; in mbedtls_des3_set3key_dec()
610 uint32_t X, Y, T, *SK; in mbedtls_des_crypt_ecb()
[all …]
A Dcamellia.c274 static void camellia_feistel( const uint32_t x[2], const uint32_t k[2], in camellia_feistel()
275 uint32_t z[2]) in camellia_feistel()
277 uint32_t I0, I1; in camellia_feistel()
284 ((uint32_t) SBOX4( MBEDTLS_BYTE_0( I0 )) ); in camellia_feistel()
322 uint32_t *RK; in mbedtls_camellia_setkey_enc()
324 uint32_t SIGMA[6][2]; in mbedtls_camellia_setkey_enc()
325 uint32_t KC[16]; in mbedtls_camellia_setkey_enc()
326 uint32_t TK[20]; in mbedtls_camellia_setkey_enc()
432 uint32_t *RK; in mbedtls_camellia_setkey_dec()
433 uint32_t *SK; in mbedtls_camellia_setkey_dec()
[all …]
A Dchacha20.c58 ( (uint32_t) ( (value) << (amount) ) | ( (value) >> ( 32 - (amount) ) ) )
79 static inline void chacha20_quarter_round( uint32_t state[16], in chacha20_quarter_round()
114 static void chacha20_inner_block( uint32_t state[16] ) in chacha20_inner_block()
133 static void chacha20_block( const uint32_t initial_state[16], in chacha20_block()
136 uint32_t working_state[16]; in chacha20_block()
219 uint32_t counter ) in mbedtls_chacha20_starts()
307 uint32_t counter, in mbedtls_chacha20_crypt()
369 static const uint32_t test_counters[2] =
/mbedtls-development/programs/ssl/
A Dssl_context_info.c582 uint32_t cert_len, ticket_len; in print_deserialized_ssl_session()
583 uint32_t verify_result, ticket_lifetime; in print_deserialized_ssl_session()
665 ( (uint32_t) ssl[3] ); in print_deserialized_ssl_session()
676 ( (uint32_t) ssl[2] ); in print_deserialized_ssl_session()
726 cert_len = (uint32_t) *ssl++; in print_deserialized_ssl_session()
746 ( (uint32_t) ssl[2] ); in print_deserialized_ssl_session()
833 uint32_t session_len; in print_deserialized_ssl_context()
873 ( (uint32_t) ssl[3] ); in print_deserialized_ssl_context()
928 uint32_t badmac_seen; in print_deserialized_ssl_context()
934 ( (uint32_t) ssl[3] ); in print_deserialized_ssl_context()
[all …]
/mbedtls-development/include/psa/
A Dcrypto_types.h106 typedef uint32_t psa_algorithm_t;
147 typedef uint32_t psa_key_lifetime_t;
214 typedef uint32_t psa_key_location_t;
225 typedef uint32_t psa_key_id_t;
251 typedef uint32_t psa_key_usage_t;
/mbedtls-development/3rdparty/everest/include/everest/kremlin/
A 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-development/include/mbedtls/
A Dx509_crt.h192 uint32_t allowed_mds; /**< MDs for signatures */
193 uint32_t allowed_pks; /**< PK algs for signatures */
194 uint32_t allowed_curves; /**< Elliptic curves for ECDSA */
195 uint32_t rsa_min_bitlen; /**< Minimum size for RSA keys */
301 uint32_t MBEDTLS_PRIVATE(flags);
657 uint32_t flags );
729 const char *cn, uint32_t *flags,
730 int (*f_vrfy)(void *, mbedtls_x509_crt *, int, uint32_t *),
771 const char *cn, uint32_t *flags,
805 const char *cn, uint32_t *flags,
[all …]
A Dtiming.h52 uint32_t MBEDTLS_PRIVATE(int_ms);
53 uint32_t MBEDTLS_PRIVATE(fin_ms);
77 void mbedtls_timing_set_delay( void *data, uint32_t int_ms, uint32_t fin_ms );
A Dchacha20.h52 uint32_t MBEDTLS_PRIVATE(state)[16]; /*! The state (before round operations). */
130 uint32_t counter );
196 uint32_t counter,
A Dpoly1305.h52 uint32_t MBEDTLS_PRIVATE(r)[4]; /** The value for 'r' (low 128 bits of the key). */
53 uint32_t MBEDTLS_PRIVATE(s)[4]; /** The value for 's' (high 128 bits of the key). */
54 uint32_t MBEDTLS_PRIVATE(acc)[5]; /** The accumulator number. */
A Dssl_ticket.h51 uint32_t MBEDTLS_PRIVATE(generation_time); /*!< key generation timestamp (seconds) */
64 uint32_t MBEDTLS_PRIVATE(ticket_lifetime); /*!< lifetime of tickets in seconds */
110 uint32_t lifetime );
/mbedtls-development/3rdparty/everest/include/everest/kremlin/internal/
A Ddebug.h18 void WasmSupport_check_buffer_size(uint32_t s);
27 uint32_t: "0x%08" PRIx32, \
38 uint32_t: X, \
/mbedtls-development/tests/include/test/
A Dmacros.h249 (n) = ( (uint32_t) (b)[(i) ] << 24 ) \
250 | ( (uint32_t) (b)[(i) + 1] << 16 ) \
251 | ( (uint32_t) (b)[(i) + 2] << 8 ) \
252 | ( (uint32_t) (b)[(i) + 3] ); \

Completed in 45 milliseconds

1234