| /mbedtls/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/include/mbedtls/ |
| A D | error.h | 113 #define MBEDTLS_ERROR_ADD(high, low) \ argument
114 mbedtls_error_add(high, low, __FILE__, __LINE__)
142 static inline int mbedtls_error_add(int high, int low, in mbedtls_error_add() argument
147 (*mbedtls_test_hook_error_add)(high, low, file, line); in mbedtls_error_add()
153 return high + low; in mbedtls_error_add()
|
| /mbedtls/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_random.function | 14 * This must be high enough that the probability of generating the same
|
| A D | host_test.function | 264 * At high optimization levels (e.g. gcc -O3), this function may be
|
| A D | test_suite_ecp.data | 587 ECP generate Montgomery key: Curve448, set high bit
|
| /mbedtls/tests/src/ |
| A D | helpers.c | 664 void mbedtls_test_err_add_check(int high, int low, in mbedtls_test_err_add_check() argument
679 if (high > -0x1000 && high != 0) { in mbedtls_test_err_add_check()
685 } else if (high < -0x7F80) { in mbedtls_test_err_add_check()
691 } else if ((high & 0x7F) != 0) { in mbedtls_test_err_add_check()
|
| /mbedtls/scripts/data_files/ |
| A D | error.fmt | 31 /* Extract the high-level part from the error code. */
89 // Translate high level error code.
113 // If high level code is present, make a concatenation between both
|
| /mbedtls/3rdparty/everest/include/everest/kremlin/internal/ |
| A D | types.h | 55 uint64_t high; member
|
| /mbedtls/library/ |
| A D | constant_time_impl.h | 407 unsigned char high, in mbedtls_ct_uchar_in_range_if() argument
417 unsigned high_mask = ((unsigned) high - co) >> 8; in mbedtls_ct_uchar_in_range_if()
|
| A D | md5.c | 260 uint32_t high, low; in mbedtls_md5_finish() local
286 high = (ctx->total[0] >> 29) in mbedtls_md5_finish()
291 MBEDTLS_PUT_UINT32_LE(high, ctx->buffer, 60); in mbedtls_md5_finish()
|
| A D | constant_time_internal.h | 398 unsigned char high,
|
| A D | ripemd160.c | 332 uint32_t high, low; in mbedtls_ripemd160_finish() local
335 high = (ctx->total[0] >> 29) in mbedtls_ripemd160_finish()
340 MBEDTLS_PUT_UINT32_LE(high, msglen, 4); in mbedtls_ripemd160_finish()
|
| A D | sha1.c | 296 uint32_t high, low; in mbedtls_sha1_finish() local
322 high = (ctx->total[0] >> 29) in mbedtls_sha1_finish()
326 MBEDTLS_PUT_UINT32_BE(high, ctx->buffer, 56); in mbedtls_sha1_finish()
|
| A D | sha256.c | 701 uint32_t high, low; in mbedtls_sha256_finish() local
728 high = (ctx->total[0] >> 29) in mbedtls_sha256_finish()
732 MBEDTLS_PUT_UINT32_BE(high, ctx->buffer, 56); in mbedtls_sha256_finish()
|
| A D | sha512.c | 819 uint64_t high, low; in mbedtls_sha512_finish() local
846 high = (ctx->total[0] >> 61) in mbedtls_sha512_finish()
850 sha512_put_uint64_be(high, ctx->buffer, 112); in mbedtls_sha512_finish()
|
| /mbedtls/tests/include/test/ |
| A D | helpers.h | 400 void mbedtls_test_err_add_check(int high, int low,
|
| /mbedtls/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…
|
| A D | psa-shared-memory.md | 130 In the remainder of this chapter, we will discuss how to implement this high-level requirement wher…
152 … **small buffers**, the cost of copying is low. For many of those, the risk of not copying is high:
154 * Any parsing of formatted data has a high risk of [read-read inconsistency](#read-read-inconsisten…
|
| /mbedtls/docs/architecture/psa-migration/ |
| A D | psa-legacy-bridges.md | 69 … modules for individual algorithms. Our focus is on applications that use high-level legacy crypto…
|
| /mbedtls/docs/ |
| A D | psa-transition.md | 334 …variable_iv_size`: the PSA API does not currently have such mechanism for high-level metadata info…
780 …tls_ecdsa_genkey`), this directly creates an object that can be used with high-level APIs, but rem…
1286 * If the purpose of the ALT interface is to isolate the private key in a high-security environment:…
|
| A D | 3.0-migration-guide.md | 158 Please also refer to the section [High-level crypto](#high-level-crypto) for
|
| /mbedtls/ |
| A D | ChangeLog | 50 This affects both the low-level modules and the high-level APIs
501 * Fix very high stack usage in SSL debug code. Reported by Maximilian
2322 high- and low-level error codes, complementing mbedtls_strerror()
2697 codes to always wrap these codes into X.509 high level error codes before
3047 primes with high probability. This does not have an impact on the
|
| /mbedtls/docs/proposed/ |
| A D | psa-driver-interface.md | 29 The present specification was designed to fulfill the following high-level requirements.
|