Home
last modified time | relevance | path

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

/third_party/mbedtls/3rdparty/everest/library/legacy/
DHacl_Curve25519.c77 FStar_UInt128_uint128 tctr = tmp[ctr]; in Hacl_Bignum_Fproduct_carry_wide_() local
79 uint64_t r0 = FStar_UInt128_uint128_to_uint64(tctr) & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fproduct_carry_wide_()
80 FStar_UInt128_uint128 c = FStar_UInt128_shift_right(tctr, (uint32_t)51U); in Hacl_Bignum_Fproduct_carry_wide_()
/third_party/mbedtls/3rdparty/everest/library/
DHacl_Curve25519.c69 uint128_t tctr = tmp[ctr]; in Hacl_Bignum_Fproduct_carry_wide_() local
71 uint64_t r0 = (uint64_t)tctr & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fproduct_carry_wide_()
72 uint128_t c = tctr >> (uint32_t)51U; in Hacl_Bignum_Fproduct_carry_wide_()