Home
last modified time | relevance | path

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

/openthread-latest/third_party/mbedtls/repo/3rdparty/everest/library/
DHacl_Curve25519.c69 uint128_t tctr = tmp[ctr]; in Hacl_Bignum_Fproduct_carry_wide_() local
/openthread-latest/third_party/mbedtls/repo/3rdparty/everest/library/legacy/
DHacl_Curve25519.c77 FStar_UInt128_uint128 tctr = tmp[ctr]; in Hacl_Bignum_Fproduct_carry_wide_() local