Home
last modified time | relevance | path

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

12

/mbedtls-3.5.0/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-3.5.0/tests/src/
Dbignum_helpers.c90 const char *s, in mbedtls_test_read_mpi_modulus()
115 int mbedtls_test_read_mpi(mbedtls_mpi *X, const char *s) in mbedtls_test_read_mpi()
/mbedtls-3.5.0/tests/include/test/
Dmacros.h194 mbedtls_fprintf(stderr, "Assertion Failed at %s:%d - %s\n", \ macro
/mbedtls-3.5.0/library/
Dplatform.c82 int mbedtls_platform_win32_snprintf(char *s, size_t n, const char *fmt, ...) in mbedtls_platform_win32_snprintf()
100 static int platform_snprintf_uninit(char *s, size_t n, in platform_snprintf_uninit()
116 int mbedtls_platform_set_snprintf(int (*snprintf_func)(char *s, size_t n, in mbedtls_platform_set_snprintf()
127 int mbedtls_platform_win32_vsnprintf(char *s, size_t n, const char *fmt, va_list arg) in mbedtls_platform_win32_vsnprintf()
155 static int platform_vsnprintf_uninit(char *s, size_t n, in platform_vsnprintf_uninit()
172 int mbedtls_platform_set_vsnprintf(int (*vsnprintf_func)(char *s, size_t n, in mbedtls_platform_set_vsnprintf()
Decdsa.c243 mbedtls_mpi *r, mbedtls_mpi *s, in mbedtls_ecdsa_sign_restartable()
392 int mbedtls_ecdsa_sign(mbedtls_ecp_group *grp, mbedtls_mpi *r, mbedtls_mpi *s, in mbedtls_ecdsa_sign()
410 mbedtls_mpi *r, mbedtls_mpi *s, in mbedtls_ecdsa_sign_det_restartable()
483 mbedtls_mpi *s, const mbedtls_mpi *d, in mbedtls_ecdsa_sign_det_ext()
504 const mbedtls_mpi *s, in mbedtls_ecdsa_verify_restartable()
612 const mbedtls_mpi *s) in mbedtls_ecdsa_verify()
621 static int ecdsa_signature_to_asn1(const mbedtls_mpi *r, const mbedtls_mpi *s, in ecdsa_signature_to_asn1()
660 mbedtls_mpi r, s; in mbedtls_ecdsa_write_signature_restartable() local
735 mbedtls_mpi r, s; in mbedtls_ecdsa_read_signature_restartable() local
Dx509_create.c44 #define ADD_STRLEN(s) s, sizeof(s) - 1 argument
129 const char *s = name, *c = s; in mbedtls_x509_string_to_names() local
Doid.c41 #define ADD_LEN(s) s, MBEDTLS_OID_SIZE(s) argument
47 #define OID_DESCRIPTOR(s, name, description) { ADD_LEN(s), name, description } argument
50 #define OID_DESCRIPTOR(s, name, description) { ADD_LEN(s) } argument
Dnist_kw.c143 size_t s; in mbedtls_nist_kw_wrap() local
273 const size_t s = 6 * (semiblocks - 1); in unwrap() local
Dpsa_crypto_ecp.c346 mbedtls_mpi r, s; in mbedtls_psa_ecdsa_sign_hash() local
431 mbedtls_mpi r, s; in mbedtls_psa_ecdsa_verify_hash() local
Dripemd160.c119 #define P(a, b, c, d, e, r, s, f, k) \ in mbedtls_internal_ripemd160_process() argument
127 #define P2(a, b, c, d, e, r, s, rp, sp) \ in mbedtls_internal_ripemd160_process() argument
Dbignum.c390 int mbedtls_mpi_read_string(mbedtls_mpi *X, int radix, const char *s) in mbedtls_mpi_read_string()
591 char s[MBEDTLS_MPI_RW_BUFFER_SIZE]; in mbedtls_mpi_read_file() local
638 char s[MBEDTLS_MPI_RW_BUFFER_SIZE]; in mbedtls_mpi_write_file() local
1045 int ret, s; in add_sub_mpi() local
2271 size_t i, j, k, s; in mpi_miller_rabin() local
Dmd5.c103 #define P(a, b, c, d, k, s, t) \ in mbedtls_internal_md5_process() argument
Dpem.c69 static int pem_get_iv(const unsigned char *s, unsigned char *iv, in pem_get_iv()
Dbignum_core.c414 const mbedtls_mpi_uint *s, size_t s_len, in mbedtls_mpi_core_mla()
797 mbedtls_mpi_uint s = A[i]; in mbedtls_mpi_core_sub_int() local
Decdh.c479 mbedtls_everest_ecdh_side s = side == MBEDTLS_ECDH_OURS ? in mbedtls_ecdh_get_params() local
Dconstant_time.c780 int s; in mbedtls_mpi_safe_cond_swap() local
Dx509.c846 char s[MBEDTLS_X509_MAX_DN_NAME_SIZE], *p; in mbedtls_x509_dn_gets() local
Dssl_tls12_client.c2633 char s[MBEDTLS_X509_MAX_DN_NAME_SIZE]; in ssl_parse_certificate_request() local
Decp.c2920 #define ECP_MPI_INIT(s, n, p) { s, (n), (mbedtls_mpi_uint *) (p) } argument
/mbedtls-3.5.0/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-3.5.0/scripts/
Dgenerate_ssl_debug_helpers.py71 def _yield_objects(s, d, p, st, end): argument
/mbedtls-3.5.0/programs/psa/
Dpsa_constant_names.c29 int snprintf(char *s, size_t n, const char *fmt, ...) in snprintf()
/mbedtls-3.5.0/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()
/mbedtls-3.5.0/programs/ssl/
Dssl_server2.c720 static int get_auth_mode(const char *s) in get_auth_mode()

12