| /mbedtls-3.4.0/3rdparty/everest/library/kremlib/ |
| D | FStar_UInt128_extracted.c | 22 return projectee.high; in FStar_UInt128___proj__Mkuint128__item__high()
38 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add()
46 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_underspec()
53 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_mod()
60 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub()
68 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub_underspec()
76 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub_mod_impl()
87 FStar_UInt128_uint128 flat = { a.low & b.low, a.high & b.high }; in FStar_UInt128_logand()
93 FStar_UInt128_uint128 flat = { a.low ^ b.low, a.high ^ b.high }; in FStar_UInt128_logxor()
99 FStar_UInt128_uint128 flat = { a.low | b.low, a.high | b.high }; in FStar_UInt128_logor()
[all …]
|
| /mbedtls-3.4.0/include/mbedtls/ |
| D | error.h | 124 #define MBEDTLS_ERROR_ADD( high, low ) \ argument
125 mbedtls_error_add( high, low, __FILE__, __LINE__ )
153 static inline int mbedtls_error_add( int high, int low, in mbedtls_error_add() argument
158 ( *mbedtls_test_hook_error_add )( high, low, file, line ); in mbedtls_error_add()
163 return( high + low ); in mbedtls_error_add()
|
| /mbedtls-3.4.0/tests/suites/ |
| D | test_suite_error.data | 5 Single high error
9 Low and high error
13 Non existing high error
19 Non existing low and high error
|
| D | test_suite_base64.function | 22 unsigned char low = low_arg, high = high_arg;
28 unsigned char m = mbedtls_ct_uchar_mask_of_range( low, high, c );
31 if( low <= c && c <= high )
|
| D | test_suite_random.function | 14 * This must be high enough that the probability of generating the same
|
| D | host_test.function | 322 * At high optimization levels (e.g. gcc -O3), this function may be
|
| D | test_suite_ecp.data | 529 ECP generate Montgomery key: Curve448, set high bit
|
| /mbedtls-3.4.0/tests/src/ |
| D | helpers.c | 299 void mbedtls_test_err_add_check( int high, int low, in mbedtls_test_err_add_check() argument
314 if ( high > -0x1000 && high != 0 ) in mbedtls_test_err_add_check()
322 else if ( high < -0x7F80 ) in mbedtls_test_err_add_check()
330 else if ( ( high & 0x7F ) != 0 ) in mbedtls_test_err_add_check()
|
| /mbedtls-3.4.0/scripts/data_files/ |
| D | error.fmt | 42 /* Extract the high-level part from the error code. */
100 // Translate high level error code.
121 // If high level code is present, make a concatenation between both
|
| /mbedtls-3.4.0/library/ |
| D | constant_time_invasive.h | 46 unsigned char high,
|
| D | md5.c | 271 uint32_t high, low; in mbedtls_md5_finish() local
299 high = ( ctx->total[0] >> 29 ) in mbedtls_md5_finish()
304 MBEDTLS_PUT_UINT32_LE( high, ctx->buffer, 60 ); in mbedtls_md5_finish()
|
| D | sha256.c | 609 uint32_t high, low; in mbedtls_sha256_finish() local
637 high = ( ctx->total[0] >> 29 ) in mbedtls_sha256_finish()
641 MBEDTLS_PUT_UINT32_BE( high, ctx->buffer, 56 ); in mbedtls_sha256_finish()
|
| D | ripemd160.c | 343 uint32_t high, low; in mbedtls_ripemd160_finish() local
346 high = ( ctx->total[0] >> 29 ) in mbedtls_ripemd160_finish()
351 MBEDTLS_PUT_UINT32_LE( high, msglen, 4 ); in mbedtls_ripemd160_finish()
|
| D | sha1.c | 305 uint32_t high, low; in mbedtls_sha1_finish() local
333 high = ( ctx->total[0] >> 29 ) in mbedtls_sha1_finish()
337 MBEDTLS_PUT_UINT32_BE( high, ctx->buffer, 56 ); in mbedtls_sha1_finish()
|
| D | constant_time.c | 166 unsigned char high, in mbedtls_ct_uchar_mask_of_range() argument
172 unsigned high_mask = ( (unsigned) high - c ) >> 8; in mbedtls_ct_uchar_mask_of_range()
|
| D | sha512.c | 765 uint64_t high, low; in mbedtls_sha512_finish() local
793 high = ( ctx->total[0] >> 61 ) in mbedtls_sha512_finish()
797 sha512_put_uint64_be( high, ctx->buffer, 112 ); in mbedtls_sha512_finish()
|
| /mbedtls-3.4.0/3rdparty/everest/include/everest/kremlin/internal/ |
| D | types.h | 55 uint64_t high; member
|
| /mbedtls-3.4.0/tests/include/test/ |
| D | helpers.h | 268 void mbedtls_test_err_add_check( int high, int low,
|
| /mbedtls-3.4.0/docs/architecture/ |
| D | psa-crypto-implementation-structure.md | 8 This document describes the high level organization of the Mbed TLS PSA Cryptography API implementa…
|
| /mbedtls-3.4.0/docs/ |
| D | 3.0-migration-guide.md | 158 Please also refer to the section [High-level crypto](#high-level-crypto) for
|
| /mbedtls-3.4.0/ |
| D | ChangeLog | 1529 high- and low-level error codes, complementing mbedtls_strerror()
1904 codes to always wrap these codes into X.509 high level error codes before
2254 primes with high probability. This does not have an impact on the
|
| /mbedtls-3.4.0/docs/proposed/ |
| D | psa-driver-interface.md | 27 The present specification was designed to fulfill the following high-level requirements.
|
