Home
last modified time | relevance | path

Searched refs:low (Results 1 – 25 of 30) sorted by relevance

12

/openthread-3.5.0/third_party/mbedtls/repo/3rdparty/everest/library/kremlib/
DFStar_UInt128_extracted.c17 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.5.0/third_party/mbedtls/repo/include/mbedtls/
Derror.h130 #define MBEDTLS_ERROR_ADD( high, low ) \ argument
131 mbedtls_error_add( high, low, __FILE__, __LINE__ )
159 static inline int mbedtls_error_add( int high, int low, in mbedtls_error_add() argument
164 ( *mbedtls_test_hook_error_add )( high, low, file, line ); in mbedtls_error_add()
169 return( high + low ); in mbedtls_error_add()
/openthread-3.5.0/src/cli/
DREADME_BR.md121 Favored: fdfc:1ff5:1512:5622::/64 prf:low
125 fdfc:1ff5:1512:5622::/64 prf:low
165 Favored: fd14:1078:b3d5:b0b0:0:0::/96 prf:low
169 fd14:1078:b3d5:b0b0:0:0::/96 prf:low
204 Usage: `br rioprf high|med|low`
206 Set the preference (which may be 'high', 'med', or 'low') to use when advertising Route Info Option…
209 > br rioprf low
217 …rmine the RIO preference: Medium preference when in router/leader role and low preference when in …
238 Usage: `br routeprf high|med|low`
240 Set the preference (which may be 'high', 'med', or 'low') to use publishing routes in Thread Networ…
[all …]
DREADME_NETDATA.md287 - 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'.
354 - Preference `high`, `med`, or `low`
364 - Preference `high`, `med`, or `low`
DREADME_HISTORY.md261 - Preference (`high`, `med`, `low`)
312 - Preference (`high`, `med`, `low`)
507 - Message priority: low, norm, high, net (for Thread control messages).
/openthread-3.5.0/third_party/mbedtls/repo/tests/suites/
Dtest_suite_error.data1 Single low error
16 Non existing low error
19 Non existing low and high error
Dtest_suite_ecp.data64 ECP check pubkey Curve25519 low-order point #1
69 ECP check pubkey Curve25519 low-order point #2
74 ECP check pubkey Curve25519 low-order point #3 (let's call this u)
79 ECP check pubkey Curve25519 low-order point #4 (let's call this v)
84 ECP check pubkey Curve25519 low-order point #5 p-1
89 ECP check pubkey Curve25519 low-order point #6 p
94 ECP check pubkey Curve25519 low-order point #7 p+1
99 ECP check pubkey Curve25519 low-order point #8 p+u
104 ECP check pubkey Curve25519 low-order point #9 p+v
109 ECP check pubkey Curve25519 low-order point #10 2p-1
[all …]
Dtest_suite_base64.function22 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 )
Dtest_suite_random.function15 * output twice is infinitesimal, but low enough that random generators
/openthread-3.5.0/third_party/mbedtls/repo/tests/src/
Dhelpers.c312 void mbedtls_test_err_add_check( int high, int low, in mbedtls_test_err_add_check() argument
351 else if ( low < -0x007F ) in mbedtls_test_err_add_check()
359 else if ( low > 0 ) in mbedtls_test_err_add_check()
/openthread-3.5.0/third_party/mbedtls/repo/library/
Dconstant_time_invasive.h45 unsigned char mbedtls_ct_uchar_mask_of_range( unsigned char low,
Dsha256.c340 uint32_t high, low; in mbedtls_sha256_finish_ret() local
373 low = ( ctx->total[0] << 3 ); in mbedtls_sha256_finish_ret()
376 MBEDTLS_PUT_UINT32_BE( low, ctx->buffer, 60 ); in mbedtls_sha256_finish_ret()
Dsha512.c380 uint64_t high, low; in mbedtls_sha512_finish_ret() local
413 low = ( ctx->total[0] << 3 ); in mbedtls_sha512_finish_ret()
416 sha512_put_uint64_be( low, ctx->buffer, 120 ); in mbedtls_sha512_finish_ret()
Dmd4.c306 uint32_t high, low; in mbedtls_md4_finish_ret() local
311 low = ( ctx->total[0] << 3 ); in mbedtls_md4_finish_ret()
313 MBEDTLS_PUT_UINT32_LE( low, msglen, 0 ); in mbedtls_md4_finish_ret()
Dmd5.c301 uint32_t high, low; in mbedtls_md5_finish_ret() local
331 low = ( ctx->total[0] << 3 ); in mbedtls_md5_finish_ret()
333 MBEDTLS_PUT_UINT32_LE( low, ctx->buffer, 56 ); in mbedtls_md5_finish_ret()
Dconstant_time.c164 unsigned char mbedtls_ct_uchar_mask_of_range( unsigned char low, in mbedtls_ct_uchar_mask_of_range() argument
169 unsigned low_mask = ( (unsigned) c - low ) >> 8; in mbedtls_ct_uchar_mask_of_range()
Dripemd160.c373 uint32_t high, low; in mbedtls_ripemd160_finish_ret() local
378 low = ( ctx->total[0] << 3 ); in mbedtls_ripemd160_finish_ret()
380 MBEDTLS_PUT_UINT32_LE( low, msglen, 0 ); in mbedtls_ripemd160_finish_ret()
Dsha1.c353 uint32_t high, low; in mbedtls_sha1_finish_ret() local
386 low = ( ctx->total[0] << 3 ); in mbedtls_sha1_finish_ret()
389 MBEDTLS_PUT_UINT32_BE( low, ctx->buffer, 60 ); in mbedtls_sha1_finish_ret()
/openthread-3.5.0/third_party/mbedtls/repo/scripts/data_files/
Derror.fmt69 /* Extract the low-level part from the error code. */
113 // Early return in case of a fatal error - do not try to translate low
141 // Translate low level error code.
/openthread-3.5.0/third_party/mbedtls/repo/3rdparty/everest/include/everest/kremlin/internal/
Dtypes.h54 uint64_t low; member
/openthread-3.5.0/third_party/mbedtls/repo/tests/include/test/
Dhelpers.h320 void mbedtls_test_err_add_check( int high, int low,
/openthread-3.5.0/third_party/tcplp/
DREADME.md22 TCPlp is a full-scale TCP stack for low-power wireless networks and
/openthread-3.5.0/third_party/mbedtls/repo/docs/architecture/
Dtls13-experimental.md54 encompassing low-level details such as record parsing, handshake reassembly, and
/openthread-3.5.0/tools/spi-hdlc-adapter/
DREADME.md43 1. Set `R̅E̅S̅/direction` to `low`.
/openthread-3.5.0/third_party/mbedtls/repo/programs/
DREADME.md34 …blic/private key and uses it to encrypt/decrypt a short string through the low-level RSA interface.

12