Searched refs:lo (Results 1 – 6 of 6) sorted by relevance
| /openthread-2.7.6/third_party/mbedtls/repo/3rdparty/everest/library/kremlib/ |
| D | FStar_UInt128_extracted.c | 111 static uint64_t FStar_UInt128_add_u64_shift_left(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left() argument
113 return (hi << s) + (lo >> (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_left()
116 static uint64_t FStar_UInt128_add_u64_shift_left_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_left_respec() argument
118 return FStar_UInt128_add_u64_shift_left(hi, lo, s); in FStar_UInt128_add_u64_shift_left_respec()
155 static uint64_t FStar_UInt128_add_u64_shift_right(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_right() argument
157 return (lo >> s) + (hi << (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_right()
160 static uint64_t FStar_UInt128_add_u64_shift_right_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_right_respec() argument
162 return FStar_UInt128_add_u64_shift_right(hi, lo, s); in FStar_UInt128_add_u64_shift_right_respec()
336 static uint64_t FStar_UInt128_u32_combine(uint64_t hi, uint64_t lo) in FStar_UInt128_u32_combine() argument
338 return lo + (hi << FStar_UInt128_u32_32); in FStar_UInt128_u32_combine()
[all …]
|
| /openthread-2.7.6/third_party/mbedtls/repo/library/ |
| D | timing.c | 94 unsigned long lo, hi; in mbedtls_timing_hardclock() local
95 asm volatile( "rdtsc" : "=a" (lo), "=d" (hi) ); in mbedtls_timing_hardclock()
96 return( lo ); in mbedtls_timing_hardclock()
108 unsigned long lo, hi; in mbedtls_timing_hardclock() local
109 asm volatile( "rdtsc" : "=a" (lo), "=d" (hi) ); in mbedtls_timing_hardclock()
110 return( lo | ( hi << 32 ) ); in mbedtls_timing_hardclock()
|
| D | gcm.c | 104 uint64_t hi, lo; in gcm_gen_table() local
115 GET_UINT32_BE( lo, h, 4 ); in gcm_gen_table()
116 vh = (uint64_t) hi << 32 | lo; in gcm_gen_table()
119 GET_UINT32_BE( lo, h, 12 ); in gcm_gen_table()
120 vl = (uint64_t) hi << 32 | lo; in gcm_gen_table()
219 unsigned char lo, hi, rem; in gcm_mult() local
236 lo = x[15] & 0xf; in gcm_mult()
238 zh = ctx->HH[lo]; in gcm_mult()
239 zl = ctx->HL[lo]; in gcm_mult()
243 lo = x[i] & 0xf; in gcm_mult()
[all …]
|
| D | poly1305.c | 76 const uint32_t lo = (uint32_t) al * bl; in mul64() local
80 return( lo + ( me << 16 ) + ( (uint64_t) hi << 32 ) ); in mul64()
|
| /openthread-2.7.6/ |
| D | .gitignore | 9 *.lo
|
| /openthread-2.7.6/src/cli/ |
| D | README.md | 389 6lo send: 0 0
390 6lo reas: 0 0
|
