Home
last modified time | relevance | path

Searched defs:a (Results 1 – 25 of 28) sorted by relevance

12

/mbedtls-latest/3rdparty/everest/library/kremlib/
DFStar_UInt128_extracted.c25 static uint64_t FStar_UInt128_constant_time_carry(uint64_t a, uint64_t b) in FStar_UInt128_constant_time_carry()
30 static uint64_t FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry()
35 FStar_UInt128_uint128 FStar_UInt128_add(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_add()
43 FStar_UInt128_add_underspec(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_add_underspec()
50 FStar_UInt128_uint128 FStar_UInt128_add_mod(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_add_mod()
57 FStar_UInt128_uint128 FStar_UInt128_sub(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_sub()
65 FStar_UInt128_sub_underspec(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_sub_underspec()
73 FStar_UInt128_sub_mod_impl(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_sub_mod_impl()
80 FStar_UInt128_uint128 FStar_UInt128_sub_mod(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_sub_mod()
85 FStar_UInt128_uint128 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logand()
[all …]
DFStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c13 uint64_t FStar_UInt64_eq_mask(uint64_t a, uint64_t b) in FStar_UInt64_eq_mask()
22 uint64_t FStar_UInt64_gte_mask(uint64_t a, uint64_t b) in FStar_UInt64_gte_mask()
35 uint32_t FStar_UInt32_eq_mask(uint32_t a, uint32_t b) in FStar_UInt32_eq_mask()
44 uint32_t FStar_UInt32_gte_mask(uint32_t a, uint32_t b) in FStar_UInt32_gte_mask()
57 uint16_t FStar_UInt16_eq_mask(uint16_t a, uint16_t b) in FStar_UInt16_eq_mask()
66 uint16_t FStar_UInt16_gte_mask(uint16_t a, uint16_t b) in FStar_UInt16_gte_mask()
79 uint8_t FStar_UInt8_eq_mask(uint8_t a, uint8_t b) in FStar_UInt8_eq_mask()
88 uint8_t FStar_UInt8_gte_mask(uint8_t a, uint8_t b) in FStar_UInt8_gte_mask()
/mbedtls-latest/library/
Daesce.c410 #define vreinterpretq_u64_p64(a) ((uint64x2_t) a) argument
414 static inline poly128_t vmull_p64(poly64_t a, poly64_t b) in vmull_p64()
424 static inline poly128_t vmull_high_p64(poly64x2_t a, poly64x2_t b) in vmull_high_p64()
470 #define vreinterpretq_p64_u8(a) ((poly64x2_t) a) argument
471 #define vreinterpretq_u8_p128(a) ((uint8x16_t) a) argument
473 static inline poly64x1_t vget_low_p64(poly64x2_t a) in vget_low_p64()
490 #define MBEDTLS_VMULL_P64(a, b) vmull_p64((poly64_t) a, (poly64_t) b) argument
495 #define MBEDTLS_VMULL_P64(a, b) vmull_p64(a, b) argument
498 static inline uint8x16_t pmull_low(uint8x16_t a, uint8x16_t b) in pmull_low()
508 static inline uint8x16_t pmull_high(uint8x16_t a, uint8x16_t b) in pmull_high()
[all …]
Dconstant_time.c68 int mbedtls_ct_memcmp(const void *a, in mbedtls_ct_memcmp()
121 int mbedtls_ct_memcmp_partial(const void *a, in mbedtls_ct_memcmp_partial()
198 uint64_t a = mbedtls_get_unaligned_uint64(src1 + i) & mask; in mbedtls_ct_memcpy_if() local
204 uint32_t a = mbedtls_get_unaligned_uint32(src1 + i) & mask; in mbedtls_ct_memcpy_if() local
Dbn_mul.h38 #define MBEDTLS_BYTES_TO_T_UINT_4(a, b, c, d) \ argument
44 #define MBEDTLS_BYTES_TO_T_UINT_2(a, b) \ argument
47 #define MBEDTLS_BYTES_TO_T_UINT_8(a, b, c, d, e, f, g, h) \ argument
53 #define MBEDTLS_BYTES_TO_T_UINT_8(a, b, c, d, e, f, g, h) \ argument
63 #define MBEDTLS_BYTES_TO_T_UINT_4(a, b, c, d) \ argument
66 #define MBEDTLS_BYTES_TO_T_UINT_2(a, b) \ argument
Daria.c109 static inline void aria_a(uint32_t *a, uint32_t *b, in aria_a()
141 static inline void aria_sl(uint32_t *a, uint32_t *b, in aria_sl()
277 uint32_t a, b, c, d; in aria_fo_xor() local
299 uint32_t a, b, c, d; in aria_fe_xor() local
447 uint32_t a, b, c, d; in mbedtls_aria_crypt_ecb() local
Dx509write.c31 #define CHECK_OVERFLOW_ADD(a, b) \ argument
Daes.c184 #define V(a, b, c, d) 0x##a##b##c##d argument
188 #define V(a, b, c, d) 0x##b##c##d##a argument
192 #define V(a, b, c, d) 0x##c##d##a##b argument
196 #define V(a, b, c, d) 0x##d##a##b##c argument
312 #define V(a, b, c, d) 0x##a##b##c##d argument
316 #define V(a, b, c, d) 0x##b##c##d##a argument
320 #define V(a, b, c, d) 0x##c##d##a##b argument
324 #define V(a, b, c, d) 0x##d##a##b##c argument
1168 uint64_t a, b, ra, rb; in mbedtls_gf128mul_x_ble() local
Dcommon.h187 const unsigned char *a, in mbedtls_xor()
269 const unsigned char *a, in mbedtls_xor_no_simd()
Dpoly1305.c30 static uint64_t mul64(uint32_t a, uint32_t b) in mul64()
46 static inline uint64_t mul64(uint32_t a, uint32_t b) in mul64()
Dripemd160.c107 #define P(a, b, c, d, e, r, s, f, k) \ in mbedtls_internal_ripemd160_process() argument
115 #define P2(a, b, c, d, e, r, s, rp, sp) \ in mbedtls_internal_ripemd160_process() argument
Dchacha20.c50 size_t a, in chacha20_quarter_round()
Dmd5.c91 #define P(a, b, c, d, k, s, t) \ in mbedtls_internal_md5_process() argument
Dsha1.c100 #define P(a, b, c, d, e, x) \ in mbedtls_internal_sha1_process() argument
Dbignum_core.c24 size_t mbedtls_mpi_core_clz(mbedtls_mpi_uint a) in mbedtls_mpi_core_clz()
68 static mbedtls_mpi_uint mpi_bigendian_to_host(mbedtls_mpi_uint a) in mpi_bigendian_to_host()
Ddes.c259 #define SWAP(a, b) \ argument
Dsha256.c477 #define P(a, b, c, d, e, f, g, h, x, K) \ argument
Dsha512.c622 #define P(a, b, c, d, e, f, g, h, x, K) \ in mbedtls_internal_sha512_process_c() argument
Dx509_crt.c311 static int x509_string_cmp(const mbedtls_x509_buf *a, const mbedtls_x509_buf *b) in x509_string_cmp()
339 static int x509_name_cmp(const mbedtls_x509_name *a, const mbedtls_x509_name *b) in x509_name_cmp()
/mbedtls-latest/programs/pkey/
Decdsa.c72 #define dump_buf(a, b, c) argument
73 #define dump_pubkey(a, b) argument
/mbedtls-latest/3rdparty/everest/library/
DHacl_Curve25519.c254 uint64_t *a; in Hacl_Bignum_Crecip_crecip() local
289 inline static void Hacl_Bignum_fsum(uint64_t *a, uint64_t *b) in Hacl_Bignum_fsum()
300 inline static void Hacl_Bignum_fdifference(uint64_t *a, uint64_t *b) in Hacl_Bignum_fdifference()
365 inline static void Hacl_Bignum_fmul(uint64_t *output, uint64_t *a, uint64_t *b) in Hacl_Bignum_fmul()
376 Hacl_EC_Point_swap_conditional_step(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr) in Hacl_EC_Point_swap_conditional_step()
389 Hacl_EC_Point_swap_conditional_(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr) in Hacl_EC_Point_swap_conditional_()
400 static void Hacl_EC_Point_swap_conditional(uint64_t *a, uint64_t *b, uint64_t iswap) in Hacl_EC_Point_swap_conditional()
/mbedtls-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c296 uint64_t *a; in Hacl_Bignum_Crecip_crecip() local
331 inline static void Hacl_Bignum_fsum(uint64_t *a, uint64_t *b) in Hacl_Bignum_fsum()
342 inline static void Hacl_Bignum_fdifference(uint64_t *a, uint64_t *b) in Hacl_Bignum_fdifference()
410 inline static void Hacl_Bignum_fmul(uint64_t *output, uint64_t *a, uint64_t *b) in Hacl_Bignum_fmul()
421 Hacl_EC_Point_swap_conditional_step(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr) in Hacl_EC_Point_swap_conditional_step()
434 Hacl_EC_Point_swap_conditional_(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr) in Hacl_EC_Point_swap_conditional_()
445 static void Hacl_EC_Point_swap_conditional(uint64_t *a, uint64_t *b, uint64_t iswap) in Hacl_EC_Point_swap_conditional()
/mbedtls-latest/tests/src/
Dhelpers.c644 int mbedtls_test_hexcmp(uint8_t *a, uint8_t *b, in mbedtls_test_hexcmp()
/mbedtls-latest/include/psa/
Dcrypto_sizes.h42 #define PSA_MAX_OF_THREE(a, b, c) ((a) <= (b) ? (b) <= (c) ? \ argument
/mbedtls-latest/3rdparty/p256-m/p256-m/
Dp256-m.c593 uint32_t a[9]; in m256_mul() local

12