Home
last modified time | relevance | path

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

12

/mbedtls-latest/3rdparty/everest/library/kremlib/
DFStar_UInt128_extracted.c111 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()
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()
166 FStar_UInt128_shift_right_small(FStar_UInt128_uint128 a, uint32_t s) 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()
187 FStar_UInt128_uint128 FStar_UInt128_shift_right(FStar_UInt128_uint128 a, uint32_t s) in FStar_UInt128_shift_right()
/mbedtls-latest/tests/src/
Dbignum_helpers.c79 const char *s, in mbedtls_test_read_mpi_modulus()
116 int mbedtls_test_read_mpi(mbedtls_mpi *X, const char *s) in mbedtls_test_read_mpi()
/mbedtls-latest/tests/include/test/
Dmacros.h227 mbedtls_fprintf(stderr, "Assertion Failed at %s:%d - %s\n", \ macro
/mbedtls-latest/library/
Dplatform.c70 int mbedtls_platform_win32_snprintf(char *s, size_t n, const char *fmt, ...) in mbedtls_platform_win32_snprintf()
88 static int platform_snprintf_uninit(char *s, size_t n, in platform_snprintf_uninit()
104 int mbedtls_platform_set_snprintf(int (*snprintf_func)(char *s, size_t n, in mbedtls_platform_set_snprintf()
115 int mbedtls_platform_win32_vsnprintf(char *s, size_t n, const char *fmt, va_list arg) in mbedtls_platform_win32_vsnprintf()
143 static int platform_vsnprintf_uninit(char *s, size_t n, in platform_vsnprintf_uninit()
160 int mbedtls_platform_set_vsnprintf(int (*vsnprintf_func)(char *s, size_t n, in mbedtls_platform_set_vsnprintf()
Decdsa.c244 mbedtls_mpi *r, mbedtls_mpi *s, in mbedtls_ecdsa_sign_restartable()
380 int mbedtls_ecdsa_sign(mbedtls_ecp_group *grp, mbedtls_mpi *r, mbedtls_mpi *s, in mbedtls_ecdsa_sign()
398 mbedtls_mpi *r, mbedtls_mpi *s, in mbedtls_ecdsa_sign_det_restartable()
471 mbedtls_mpi *s, const mbedtls_mpi *d, in mbedtls_ecdsa_sign_det_ext()
492 const mbedtls_mpi *s, in mbedtls_ecdsa_verify_restartable()
600 const mbedtls_mpi *s) in mbedtls_ecdsa_verify()
609 static int ecdsa_signature_to_asn1(const mbedtls_mpi *r, const mbedtls_mpi *s, in ecdsa_signature_to_asn1()
648 mbedtls_mpi r, s; in mbedtls_ecdsa_write_signature_restartable() local
723 mbedtls_mpi r, s; in mbedtls_ecdsa_read_signature_restartable() local
Dx509_create.c37 #define ADD_STRLEN(s) s, sizeof(s) - 1 argument
138 static int parse_attribute_value_string(const char *s, in parse_attribute_value_string()
202 static int parse_attribute_value_hex_der_encoded(const char *s, in parse_attribute_value_hex_der_encoded()
285 const char *s = name, *c = s; in mbedtls_x509_string_to_names() local
Dnist_kw.c136 size_t s; in mbedtls_nist_kw_wrap() local
266 const size_t s = 6 * (semiblocks - 1); in unwrap() local
Doid.c27 #define ADD_LEN(s) s, MBEDTLS_OID_SIZE(s) argument
33 #define OID_DESCRIPTOR(s, name, description) { ADD_LEN(s), name, description } argument
36 #define OID_DESCRIPTOR(s, name, description) { ADD_LEN(s) } argument
Dpsa_crypto_ecp.c375 mbedtls_mpi r, s; in mbedtls_psa_ecdsa_sign_hash() local
460 mbedtls_mpi r, s; in mbedtls_psa_ecdsa_verify_hash() local
Dbignum.c154 int s; in mbedtls_mpi_safe_cond_swap() local
513 int mbedtls_mpi_read_string(mbedtls_mpi *X, int radix, const char *s) in mbedtls_mpi_read_string()
709 char s[MBEDTLS_MPI_RW_BUFFER_SIZE]; in mbedtls_mpi_read_file() local
753 char s[MBEDTLS_MPI_RW_BUFFER_SIZE]; in mbedtls_mpi_write_file() local
1116 int ret, s; in add_sub_mpi() local
2060 size_t i, j, k, s; in mpi_miller_rabin() local
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
Dpsa_util.c437 unsigned char s[PSA_BITS_TO_BYTES(PSA_VENDOR_ECC_MAX_CURVE_BITS)]; in mbedtls_ecdsa_raw_to_der() local
Dmd5.c91 #define P(a, b, c, d, k, s, t) \ in mbedtls_internal_md5_process() argument
Dpem.c47 static int pem_get_iv(const unsigned char *s, unsigned char *iv, in pem_get_iv()
Dconstant_time_impl.h146 mbedtls_ct_uint_t s; in mbedtls_ct_bool() local
Dsha3.c104 uint64_t *s = ctx->state; in keccak_f1600() local
Dbignum_core.c462 const mbedtls_mpi_uint *s, size_t s_len, in mbedtls_mpi_core_mla()
975 mbedtls_mpi_uint s = A[i]; in mbedtls_mpi_core_sub_int() local
Decdh.c476 mbedtls_everest_ecdh_side s = side == MBEDTLS_ECDH_OURS ? in mbedtls_ecdh_get_params() local
Dx509.c823 char s[MBEDTLS_X509_MAX_DN_NAME_SIZE], *p; in mbedtls_x509_dn_gets() local
/mbedtls-latest/3rdparty/p256-m/p256-m/
Dp256-m.c875 uint32_t m[8], s[8], u[8]; in point_double() local
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
1408 uint32_t r[8], s[8]; in p256_ecdsa_verify() local
1485 uint32_t s[8]; in p256_validate_privkey() local
1495 uint32_t s[8]; in p256_public_from_private() local
/mbedtls-latest/3rdparty/everest/library/
Deverest.c70 mbedtls_x25519_ecdh_side s = side == MBEDTLS_EVEREST_ECDH_OURS ? in mbedtls_everest_get_params() local
DHacl_Curve25519.c52 Hacl_Bignum_Fproduct_sum_scalar_multiplication_(uint128_t *output, uint64_t *input, uint64_t s) in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
330 inline static void Hacl_Bignum_fscalar(uint64_t *output, uint64_t *b, uint64_t s) in Hacl_Bignum_fscalar()
/mbedtls-latest/scripts/
Dgenerate_ssl_debug_helpers.py61 def _yield_objects(s, d, p, st, end): argument
/mbedtls-latest/programs/psa/
Dpsa_constant_names.c17 int snprintf(char *s, size_t n, const char *fmt, ...) in snprintf()
/mbedtls-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c59 uint64_t s in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
372 inline static void Hacl_Bignum_fscalar(uint64_t *output, uint64_t *b, uint64_t s) in Hacl_Bignum_fscalar()

12