| /mbedtls-development/3rdparty/everest/library/kremlib/ |
| A D | FStar_UInt128_extracted.c | 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()
201 return a.low == b.low && a.high == b.high; in FStar_UInt128_eq()
206 return a.high > b.high || (a.high == b.high && a.low > b.low); in FStar_UInt128_gt()
211 return a.high < b.high || (a.high == b.high && a.low < b.low); in FStar_UInt128_lt()
216 return a.high > b.high || (a.high == b.high && a.low >= b.low); in FStar_UInt128_gte()
221 return a.high < b.high || (a.high == b.high && a.low <= b.low); in FStar_UInt128_lte()
231 & FStar_UInt64_eq_mask(a.high, b.high), in FStar_UInt128_eq_mask()
234 & FStar_UInt64_eq_mask(a.high, b.high) in FStar_UInt128_eq_mask()
244 (FStar_UInt64_gte_mask(a.high, b.high) & ~FStar_UInt64_eq_mask(a.high, b.high)) in FStar_UInt128_gte_mask()
[all …]
|
| /mbedtls-development/include/mbedtls/ |
| A D | error.h | 127 #define MBEDTLS_ERROR_ADD( high, low ) \ argument
128 mbedtls_error_add( high, low, __FILE__, __LINE__ )
156 static inline int mbedtls_error_add( int high, int low, in mbedtls_error_add() argument
161 ( *mbedtls_test_hook_error_add )( high, low, file, line ); in mbedtls_error_add()
166 return( high + low ); in mbedtls_error_add()
|
| /mbedtls-development/tests/suites/ |
| A 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
|
| A D | test_suite_base64.function | 21 unsigned char low = low_arg, high = high_arg;
27 unsigned char m = mbedtls_base64_mask_of_range( low, high, c );
30 if( low <= c && c <= high )
|
| A D | test_suite_random.function | 14 * This must be high enough that the probability of generating the same
|
| A D | host_test.function | 322 * At high optimization levels (e.g. gcc -O3), this function may be
|
| A D | test_suite_ecp.data | 477 ECP generate Montgomery key: Curve448, set high bit
|
| /mbedtls-development/tests/src/ |
| A D | helpers.c | 233 void mbedtls_test_err_add_check( int high, int low, in mbedtls_test_err_add_check() argument
248 if ( high > -0x1000 && high != 0 ) in mbedtls_test_err_add_check()
256 else if ( high < -0x7F80 ) in mbedtls_test_err_add_check()
264 else if ( ( high & 0x7F ) != 0 ) in mbedtls_test_err_add_check()
|
| /mbedtls-development/scripts/data_files/ |
| A D | error.fmt | 46 /* Extract the high-level part from the error code. */
104 // Translate high level error code.
125 // If high level code is present, make a concatenation between both
|
| /mbedtls-development/library/ |
| A D | base64_invasive.h | 37 unsigned char high,
|
| A D | base64.c | 47 unsigned char high, in mbedtls_base64_mask_of_range() argument
53 unsigned high_mask = ( (unsigned) high - c ) >> 8; in mbedtls_base64_mask_of_range()
|
| A D | sha512.c | 356 uint64_t high, low; in mbedtls_sha512_finish() local
387 high = ( ctx->total[0] >> 61 ) in mbedtls_sha512_finish()
391 sha512_put_uint64_be( high, ctx->buffer, 112 ); in mbedtls_sha512_finish()
|
| A D | md5.c | 278 uint32_t high, low; in mbedtls_md5_finish() local
306 high = ( ctx->total[0] >> 29 ) in mbedtls_md5_finish()
311 MBEDTLS_PUT_UINT32_LE( high, ctx->buffer, 60 ); in mbedtls_md5_finish()
|
| A D | sha256.c | 323 uint32_t high, low; in mbedtls_sha256_finish() local
354 high = ( ctx->total[0] >> 29 ) in mbedtls_sha256_finish()
358 MBEDTLS_PUT_UINT32_BE( high, ctx->buffer, 56 ); in mbedtls_sha256_finish()
|
| A D | ripemd160.c | 350 uint32_t high, low; in mbedtls_ripemd160_finish() local
353 high = ( ctx->total[0] >> 29 ) in mbedtls_ripemd160_finish()
358 MBEDTLS_PUT_UINT32_LE( high, msglen, 4 ); in mbedtls_ripemd160_finish()
|
| A D | sha1.c | 330 uint32_t high, low; in mbedtls_sha1_finish() local
361 high = ( ctx->total[0] >> 29 ) in mbedtls_sha1_finish()
365 MBEDTLS_PUT_UINT32_BE( high, ctx->buffer, 56 ); in mbedtls_sha1_finish()
|
| /mbedtls-development/3rdparty/everest/include/everest/kremlin/internal/ |
| A D | types.h | 55 uint64_t high; member
|
| /mbedtls-development/tests/include/test/ |
| A D | helpers.h | 232 void mbedtls_test_err_add_check( int high, int low,
|
| /mbedtls-development/docs/architecture/ |
| A D | psa-crypto-implementation-structure.md | 8 This document describes the high level organization of the Mbed TLS PSA Cryptography API implementa…
|
| /mbedtls-development/docs/ |
| A D | use-psa-crypto.md | 158 This is only a high-level overview, grouped by theme
|
| A D | 3.0-migration-guide.md | 137 Please also refer to the section [High-level crypto](#high-level-crypto) for
|
| /mbedtls-development/ |
| A D | ChangeLog | 871 high- and low-level error codes, complementing mbedtls_strerror()
1246 codes to always wrap these codes into X.509 high level error codes before
1596 primes with high probability. This does not have an impact on the
|
| /mbedtls-development/docs/proposed/ |
| A D | psa-driver-interface.md | 27 The present specification was designed to fulfill the following high-level requirements.
|