/openthread-3.7.0/third_party/mbedtls/repo/3rdparty/everest/library/kremlib/ |
D | FStar_UInt128_extracted.c | 17 return projectee.low; in FStar_UInt128___proj__Mkuint128__item__low() 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 …]
|
/openthread-3.7.0/third_party/mbedtls/repo/include/mbedtls/ |
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()
|
/openthread-3.7.0/third_party/mbedtls/repo/tests/suites/ |
D | test_suite_error.data | 1 Single low error 16 Non existing low error 19 Non existing low and high error
|
D | test_suite_ecp.data | 61 ECP check pubkey Curve25519 low-order point #1 66 ECP check pubkey Curve25519 low-order point #2 71 ECP check pubkey Curve25519 low-order point #3 (let's call this u) 76 ECP check pubkey Curve25519 low-order point #4 (let's call this v) 81 ECP check pubkey Curve25519 low-order point #5 p-1 86 ECP check pubkey Curve25519 low-order point #6 p 91 ECP check pubkey Curve25519 low-order point #7 p+1 96 ECP check pubkey Curve25519 low-order point #8 p+u 101 ECP check pubkey Curve25519 low-order point #9 p+v 106 ECP check pubkey Curve25519 low-order point #10 2p-1 [all …]
|
D | test_suite_bignum_mod_raw.function | 692 mbedtls_mpi_uint *R = NULL; /* for result of low-level conversion */ 717 /* 1. Test low-level function first */ 725 /* Test that the low-level function gives the required value */ 756 mbedtls_mpi_uint *R = NULL; /* for result of low-level conversion */ 781 /* 1. Test low-level function first */ 789 /* Test that the low-level function gives the required value */
|
D | test_suite_random.function | 15 * output twice is infinitesimal, but low enough that random generators
|
/openthread-3.7.0/src/cli/ |
D | README_BR.md | 126 Favored: fdfc:1ff5:1512:5622::/64 prf:low 130 fdfc:1ff5:1512:5622::/64 prf:low 170 Favored: fd14:1078:b3d5:b0b0:0:0::/96 prf:low 174 fd14:1078:b3d5:b0b0:0:0::/96 prf:low 237 - Route preference (low, med, high) only if prefix is route (not on-link) 287 Usage: `br rioprf high|med|low` 289 Set the preference (which may be 'high', 'med', or 'low') to use when advertising Route Info Option… 292 > br rioprf low 300 …rmine the RIO preference: Medium preference when in router/leader role and low preference when in … 321 Usage: `br routeprf high|med|low` [all …]
|
D | README_NETDATA.md | 287 - prf: Preference, which may be 'high', 'med', or 'low'. 301 - prf: Preference, which may be: 'high', 'med', or 'low'. 317 - prf: Preference, which may be: 'high', 'med', or 'low'. 356 - Preference `high`, `med`, or `low` 366 - Preference `high`, `med`, or `low`
|
D | README_HISTORY.md | 261 - Preference (`high`, `med`, `low`) 312 - Preference (`high`, `med`, `low`) 507 - Message priority: low, norm, high, net (for Thread control messages).
|
/openthread-3.7.0/third_party/mbedtls/repo/scripts/data_files/ |
D | error.fmt | 54 /* Extract the low-level part from the error code. */ 99 // Early return in case of a fatal error - do not try to translate low 129 // Translate low level error code.
|
/openthread-3.7.0/third_party/mbedtls/repo/tests/src/ |
D | helpers.c | 664 void mbedtls_test_err_add_check(int high, int low, in mbedtls_test_err_add_check() argument 697 } else if (low < -0x007F) { in mbedtls_test_err_add_check() 703 } else if (low > 0) { in mbedtls_test_err_add_check()
|
/openthread-3.7.0/third_party/mbedtls/repo/3rdparty/everest/include/everest/kremlin/internal/ |
D | types.h | 54 uint64_t low; member
|
/openthread-3.7.0/third_party/mbedtls/repo/tests/include/test/ |
D | helpers.h | 400 void mbedtls_test_err_add_check(int high, int low,
|
/openthread-3.7.0/third_party/mbedtls/repo/library/ |
D | constant_time_impl.h | 406 static inline unsigned char mbedtls_ct_uchar_in_range_if(unsigned char low, in mbedtls_ct_uchar_in_range_if() argument 415 unsigned low_mask = ((unsigned) co - low) >> 8; in mbedtls_ct_uchar_in_range_if()
|
D | md5.c | 260 uint32_t high, low; in mbedtls_md5_finish() local 288 low = (ctx->total[0] << 3); in mbedtls_md5_finish() 290 MBEDTLS_PUT_UINT32_LE(low, ctx->buffer, 56); in mbedtls_md5_finish()
|
D | constant_time_internal.h | 397 static inline unsigned char mbedtls_ct_uchar_in_range_if(unsigned char low,
|
D | ripemd160.c | 332 uint32_t high, low; in mbedtls_ripemd160_finish() local 337 low = (ctx->total[0] << 3); in mbedtls_ripemd160_finish() 339 MBEDTLS_PUT_UINT32_LE(low, msglen, 0); in mbedtls_ripemd160_finish()
|
D | sha1.c | 296 uint32_t high, low; in mbedtls_sha1_finish() local 324 low = (ctx->total[0] << 3); in mbedtls_sha1_finish() 327 MBEDTLS_PUT_UINT32_BE(low, ctx->buffer, 60); in mbedtls_sha1_finish()
|
D | sha256.c | 701 uint32_t high, low; in mbedtls_sha256_finish() local 730 low = (ctx->total[0] << 3); in mbedtls_sha256_finish() 733 MBEDTLS_PUT_UINT32_BE(low, ctx->buffer, 60); in mbedtls_sha256_finish()
|
D | sha512.c | 819 uint64_t high, low; in mbedtls_sha512_finish() local 848 low = (ctx->total[0] << 3); in mbedtls_sha512_finish() 851 sha512_put_uint64_be(low, ctx->buffer, 120); in mbedtls_sha512_finish()
|
/openthread-3.7.0/third_party/tcplp/ |
D | README.md | 22 TCPlp is a full-scale TCP stack for low-power wireless networks and
|
/openthread-3.7.0/third_party/mbedtls/repo/docs/architecture/psa-migration/ |
D | strategy.md | 251 dispatch to PSA, but not the low-level legacy API, for all operations. 282 MD (not low-level hash APIs), which then dispatches to PSA if applicable. 312 low-level module but logically belongs in a higher-level module can be moved 328 available via the legacy API(s) is it using (MD and/or low-level). 451 Generally speaking, we would retire all of the low-level, non-generic modules, 456 the low-level, alg-specific ones.) 482 the low-level crypto APIs and making PK, MD and Cipher optional compatibility 484 cases use the low level crypto APIs; we would need to either keep using that
|
/openthread-3.7.0/tools/spi-hdlc-adapter/ |
D | README.md | 43 1. Set `R̅E̅S̅/direction` to `low`.
|
/openthread-3.7.0/third_party/mbedtls/repo/programs/ |
D | README.md | 34 …blic/private key and uses it to encrypt/decrypt a short string through the low-level RSA interface.
|
/openthread-3.7.0/third_party/mbedtls/repo/docs/architecture/ |
D | psa-shared-memory.md | 72 …nsiderations related to overlap, or because the implementation relies on a low-level API that work… 144 …are naturally implemented by processing the input in a single pass, with a low risk of ever readin… 152 For operations involving **small buffers**, the cost of copying is low. For many of those, the risk… 170 Message inputs to hash, MAC and key derivation operations are at a low risk of [read-read inconsist… 202 …at which point the dispatch layer shall copy the input for modes that are not known to be low-risk. 208 …atch layer shall copy the input for algorithms such as PureEdDSA that are not known to be low-risk.
|