Home
last modified time | relevance | path

Searched refs:FStar_UInt128_u32_combine (Results 1 – 1 of 1) sorted by relevance

/third_party/mbedtls/3rdparty/everest/library/kremlib/
DFStar_UInt128_extracted.c336 static uint64_t FStar_UInt128_u32_combine(uint64_t hi, uint64_t lo) in FStar_UInt128_u32_combine() function
346 FStar_UInt128_u32_combine((x >> FStar_UInt128_u32_32) in FStar_UInt128_mul32()