Home
last modified time | relevance | path

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

/mbedtls-latest/3rdparty/everest/library/
DHacl_Curve25519.c594 uint64_t *xx0; in Hacl_EC_AddAndDouble_fmonty() local
612 xx0 = buf + (uint32_t)15U; in Hacl_EC_AddAndDouble_fmonty()
623 Hacl_Bignum_Fsquare_fsquare_times(xx0, x, (uint32_t)1U); in Hacl_EC_AddAndDouble_fmonty()
/mbedtls-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c639 uint64_t *xx0; in Hacl_EC_AddAndDouble_fmonty() local
657 xx0 = buf + (uint32_t)15U; in Hacl_EC_AddAndDouble_fmonty()
668 Hacl_Bignum_Fsquare_fsquare_times(xx0, x, (uint32_t)1U); in Hacl_EC_AddAndDouble_fmonty()