Searched defs:lo (Results 1 – 5 of 5) sorted by relevance
| /mbedtls-latest/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()
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()
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()
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()
336 static uint64_t FStar_UInt128_u32_combine(uint64_t hi, uint64_t lo) in FStar_UInt128_u32_combine()
384 static uint64_t FStar_UInt128_u32_combine_(uint64_t hi, uint64_t lo) in FStar_UInt128_u32_combine_()
|
| /mbedtls-latest/library/ |
| D | poly1305.c | 39 const uint32_t lo = (uint32_t) al * bl; in mul64() local
|
| D | gcm.c | 305 unsigned char lo, hi, rem; in gcm_mult_smalltable() local
|
| /mbedtls-latest/programs/test/ |
| D | benchmark.c | 260 unsigned long lo, hi; in mbedtls_timing_hardclock() local
274 unsigned long lo, hi; in mbedtls_timing_hardclock() local
|
| /mbedtls-latest/3rdparty/p256-m/p256-m/ |
| D | p256-m.c | 320 const uint32_t lo = (uint32_t) xl * yl; in u32_muladd64() local
|
