Searched refs:lo (Results 1 – 6 of 6) sorted by relevance
| /mbedtls-3.7.0/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 …]
|
| /mbedtls-3.7.0/programs/test/ |
| D | benchmark.c | 260 unsigned long lo, hi; in mbedtls_timing_hardclock() local
261 asm volatile ("rdtsc" : "=a" (lo), "=d" (hi)); in mbedtls_timing_hardclock()
262 return lo; in mbedtls_timing_hardclock()
274 unsigned long lo, hi; in mbedtls_timing_hardclock() local
275 asm volatile ("rdtsc" : "=a" (lo), "=d" (hi)); in mbedtls_timing_hardclock()
276 return lo | (hi << 32); in mbedtls_timing_hardclock()
|
| /mbedtls-3.7.0/library/ |
| D | gcm.c | 305 unsigned char lo, hi, rem; in gcm_mult_smalltable() local
310 lo = x[15] & 0xf; in gcm_mult_smalltable()
313 pu64z = H[lo]; in gcm_mult_smalltable()
322 lo = x[i] & 0xf; in gcm_mult_smalltable()
329 mbedtls_xor_no_simd(u8z, u8z, (uint8_t *) H[lo], 16); in gcm_mult_smalltable()
|
| D | poly1305.c | 39 const uint32_t lo = (uint32_t) al * bl; in mul64() local
43 return lo + (me << 16) + ((uint64_t) hi << 32); in mul64()
|
| /mbedtls-3.7.0/3rdparty/p256-m/p256-m/ |
| D | p256-m.c | 320 const uint32_t lo = (uint32_t) xl * yl; in u32_muladd64() local
325 uint64_t acc = lo + ((uint64_t) (hi + (m1 >> 16) + (m2 >> 16)) << 32); in u32_muladd64()
|
| /mbedtls-3.7.0/docs/ |
| D | driver-only-builds.md | 121 - As mentioned in [Hashes](#hashes) direct calls to legacy lo-level hash APIs
|
