Home
last modified time | relevance | path

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

12

/mbedtls-3.4.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.4.0/tests/include/test/
Dmacros.h194 mbedtls_fprintf( stderr, "Assertion Failed at %s:%d - %s\n", \ macro
/mbedtls-3.4.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.c241 mbedtls_mpi *r, mbedtls_mpi *s, in ecdsa_sign_restartable()
391 int mbedtls_ecdsa_sign( mbedtls_ecp_group *grp, mbedtls_mpi *r, mbedtls_mpi *s, in mbedtls_ecdsa_sign()
409 mbedtls_mpi *r, mbedtls_mpi *s, in ecdsa_sign_det_restartable()
480 mbedtls_mpi *s, const mbedtls_mpi *d, in mbedtls_ecdsa_sign_det_ext()
500 const mbedtls_mpi *r, const mbedtls_mpi *s, in ecdsa_verify_restartable()
609 const mbedtls_mpi *s) in mbedtls_ecdsa_verify()
618 static int ecdsa_signature_to_asn1( const mbedtls_mpi *r, const mbedtls_mpi *s, in ecdsa_signature_to_asn1()
655 mbedtls_mpi r, s; in mbedtls_ecdsa_write_signature_restartable() local
729 mbedtls_mpi r, s; in mbedtls_ecdsa_read_signature_restartable() local
Doid.c40 #define ADD_LEN(s) s, MBEDTLS_OID_SIZE(s) argument
46 #define OID_DESCRIPTOR(s, name, description) { ADD_LEN(s), name, description } argument
49 #define OID_DESCRIPTOR(s, name, description) { ADD_LEN(s) } argument
Dx509_create.c44 #define ADD_STRLEN( s ) s, sizeof( s ) - 1 argument
126 const char *s = name, *c = s; in mbedtls_x509_string_to_names() local
Dnist_kw.c141 size_t s; in mbedtls_nist_kw_wrap() local
282 const size_t s = 6 * ( semiblocks - 1 ); in unwrap() local
Dpsa_crypto_ecp.c343 mbedtls_mpi r, s; in mbedtls_psa_ecdsa_sign_hash() local
416 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.c379 int mbedtls_mpi_read_string( mbedtls_mpi *X, int radix, const char *s ) in mbedtls_mpi_read_string()
585 char s[ MBEDTLS_MPI_RW_BUFFER_SIZE ]; in mbedtls_mpi_read_file() local
623 char s[ MBEDTLS_MPI_RW_BUFFER_SIZE ]; in mbedtls_mpi_write_file() local
996 int ret, s; in add_sub_mpi() local
2272 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.c62 static int pem_get_iv( const unsigned char *s, unsigned char *iv, in pem_get_iv()
Dbignum_core.c422 const mbedtls_mpi_uint *s, size_t s_len, in mbedtls_mpi_core_mla()
756 mbedtls_mpi_uint s = A[i]; in mbedtls_mpi_core_sub_int() local
Decdh.c473 mbedtls_everest_ecdh_side s = side == MBEDTLS_ECDH_OURS ? in mbedtls_ecdh_get_params() local
Dx509.c805 char s[MBEDTLS_X509_MAX_DN_NAME_SIZE], *p; in mbedtls_x509_dn_gets() local
Dconstant_time.c712 int s; in mbedtls_mpi_safe_cond_swap() local
Dssl_tls12_client.c2761 char s[MBEDTLS_X509_MAX_DN_NAME_SIZE]; in ssl_parse_certificate_request() local
Decp.c2795 #define ECP_MPI_INIT(s, n, p) {s, (n), (mbedtls_mpi_uint *)(p)} argument
/mbedtls-3.4.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.4.0/scripts/
Dgenerate_ssl_debug_helpers.py71 def _yield_objects(s, d, p, st, end): argument
/mbedtls-3.4.0/tests/src/
Dhelpers.c404 int mbedtls_test_read_mpi( mbedtls_mpi *X, const char *s ) in mbedtls_test_read_mpi()
/mbedtls-3.4.0/programs/psa/
Dpsa_constant_names.c29 int snprintf( char *s, size_t n, const char *fmt, ... ) in snprintf()
/mbedtls-3.4.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.4.0/programs/ssl/
Dssl_server2.c706 static int get_auth_mode( const char *s ) in get_auth_mode()

12