Home
last modified time | relevance | path

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

/mbedtls-development/3rdparty/everest/library/kremlib/
A 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-development/library/
A 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()
A Decdsa.c253 mbedtls_mpi *r, mbedtls_mpi *s, in ecdsa_sign_restartable()
403 int mbedtls_ecdsa_sign( mbedtls_ecp_group *grp, mbedtls_mpi *r, mbedtls_mpi *s, in mbedtls_ecdsa_sign()
428 mbedtls_mpi *r, mbedtls_mpi *s, in ecdsa_sign_det_restartable()
499 mbedtls_mpi *s, const mbedtls_mpi *d, in mbedtls_ecdsa_sign_det_ext()
526 const mbedtls_mpi *r, const mbedtls_mpi *s, in ecdsa_verify_restartable()
635 const mbedtls_mpi *s) in mbedtls_ecdsa_verify()
650 static int ecdsa_signature_to_asn1( const mbedtls_mpi *r, const mbedtls_mpi *s, in ecdsa_signature_to_asn1()
687 mbedtls_mpi r, s; in mbedtls_ecdsa_write_signature_restartable() local
773 mbedtls_mpi r, s; in mbedtls_ecdsa_read_signature_restartable() local
A 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
A Doid.c42 #define ADD_LEN(s) s, MBEDTLS_OID_SIZE(s) argument
48 #define OID_DESCRIPTOR(s, name, description) { ADD_LEN(s), name, description } argument
51 #define OID_DESCRIPTOR(s, name, description) { ADD_LEN(s) } argument
A Dnist_kw.c167 size_t s; in mbedtls_nist_kw_wrap() local
308 const size_t s = 6 * ( semiblocks - 1 ); in unwrap() local
A Dbignum.c382 int ret, s; in mbedtls_mpi_safe_cond_swap() local
573 int mbedtls_mpi_read_string( mbedtls_mpi *X, int radix, const char *s ) in mbedtls_mpi_read_string()
779 char s[ MBEDTLS_MPI_RW_BUFFER_SIZE ]; in mbedtls_mpi_read_file() local
817 char s[ MBEDTLS_MPI_RW_BUFFER_SIZE ]; in mbedtls_mpi_write_file() local
1520 int ret, s; in mbedtls_mpi_add_mpi() local
1555 int ret, s; in mbedtls_mpi_sub_mpi() local
1646 const mbedtls_mpi_uint *s, in mpi_mul_hlp()
2942 size_t i, j, k, s; in mpi_miller_rabin() local
A Dripemd160.c126 #define P( a, b, c, d, e, r, s, f, k ) \ in mbedtls_internal_ripemd160_process() argument
134 #define P2( a, b, c, d, e, r, s, rp, sp ) \ in mbedtls_internal_ripemd160_process() argument
A Dpsa_crypto_ecp.c372 mbedtls_mpi r, s; in ecdsa_sign_hash() local
446 mbedtls_mpi r, s; in ecdsa_verify_hash() local
A Dmd5.c110 #define P(a,b,c,d,k,s,t) \ in mbedtls_internal_md5_process() argument
A Dpem.c54 static int pem_get_iv( const unsigned char *s, unsigned char *iv, in pem_get_iv()
A Dx509.c748 char s[MBEDTLS_X509_MAX_DN_NAME_SIZE], *p; in mbedtls_x509_dn_gets() local
A Decdh.c505 mbedtls_everest_ecdh_side s = side == MBEDTLS_ECDH_OURS ? in mbedtls_ecdh_get_params() local
A Decp.c2750 #define ECP_MPI_INIT(s, n, p) {s, (n), (mbedtls_mpi_uint *)(p)} argument
A Decp_curves.c46 #define ECP_MPI_INIT(s, n, p) {s, (n), (mbedtls_mpi_uint *)(p)} argument
/mbedtls-development/3rdparty/everest/library/
A Deverest.c75 mbedtls_x25519_ecdh_side s = side == MBEDTLS_EVEREST_ECDH_OURS ? in mbedtls_everest_get_params() local
A 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-development/tests/src/
A Dhelpers.c289 int mbedtls_test_read_mpi( mbedtls_mpi *X, int radix, const char *s ) in mbedtls_test_read_mpi()
/mbedtls-development/programs/psa/
A Dpsa_constant_names.c29 int snprintf( char *s, size_t n, const char *fmt, ... ) in snprintf()
/mbedtls-development/3rdparty/everest/library/legacy/
A 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-development/programs/ssl/
A Dssl_server2.c653 static int get_auth_mode( const char *s ) in get_auth_mode()

Completed in 52 milliseconds