Searched refs:xxprime (Results 1 – 2 of 2) sorted by relevance
| /third_party/mbedtls/3rdparty/everest/library/legacy/ |
| D | Hacl_Curve25519.c | 641 uint64_t *xxprime; in Hacl_EC_AddAndDouble_fmonty() local
659 xxprime = buf + (uint32_t)25U; in Hacl_EC_AddAndDouble_fmonty()
662 memcpy(origxprime, xxprime, (uint32_t)5U * sizeof xxprime[0U]); in Hacl_EC_AddAndDouble_fmonty()
663 Hacl_Bignum_fsum(xxprime, zzprime); in Hacl_EC_AddAndDouble_fmonty()
665 Hacl_Bignum_Fsquare_fsquare_times(x3, xxprime, (uint32_t)1U); in Hacl_EC_AddAndDouble_fmonty()
|
| /third_party/mbedtls/3rdparty/everest/library/ |
| D | Hacl_Curve25519.c | 596 uint64_t *xxprime; in Hacl_EC_AddAndDouble_fmonty() local
614 xxprime = buf + (uint32_t)25U; in Hacl_EC_AddAndDouble_fmonty()
617 memcpy(origxprime, xxprime, (uint32_t)5U * sizeof xxprime[0U]); in Hacl_EC_AddAndDouble_fmonty()
618 Hacl_Bignum_fsum(xxprime, zzprime); in Hacl_EC_AddAndDouble_fmonty()
620 Hacl_Bignum_Fsquare_fsquare_times(x3, xxprime, (uint32_t)1U); in Hacl_EC_AddAndDouble_fmonty()
|