Searched refs:FStar_UInt128_add (Results 1 - 4 of 4) sorted by relevance
| /third_party/mbedtls/3rdparty/everest/library/legacy/ |
| H A D | Hacl_Curve25519.c | 18 FStar_UInt128_add(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1);
82 tmp[ctr + (uint32_t)1U] = FStar_UInt128_add(tctrp1, c); in Hacl_Bignum_Fproduct_carry_wide_()
154 FStar_UInt128_add(b0, in Hacl_Bignum_Fmul_fmul()
184 FStar_UInt128_add(FStar_UInt128_add(FStar_UInt128_mul_wide(r0, r0), in Hacl_Bignum_Fsquare_fsquare__()
189 FStar_UInt128_add(FStar_UInt128_add(FStar_UInt128_mul_wide(d0, r1), in Hacl_Bignum_Fsquare_fsquare__()
194 FStar_UInt128_add(FStar_UInt128_add(FStar_UInt128_mul_wide(d0, r2), in Hacl_Bignum_Fsquare_fsquare__()
199 FStar_UInt128_add(FStar_UInt128_ad in Hacl_Bignum_Fsquare_fsquare__()
[all...] |
| /third_party/mbedtls/3rdparty/everest/include/everest/kremlib/ |
| H A D | FStar_UInt128.h | 26 FStar_UInt128_uint128 FStar_UInt128_add(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
|
| /third_party/mbedtls/3rdparty/everest/library/kremlib/ |
| H A D | FStar_UInt128_extracted.c | 35 FStar_UInt128_uint128 FStar_UInt128_add(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_add() function
265 FStar_UInt128_add;
|
| /third_party/mbedtls/3rdparty/everest/library/ |
| H A D | Hacl_Curve25519.c | 17 extern uint128_t FStar_UInt128_add(uint128_t x0, uint128_t x1);
|
Completed in 5 milliseconds