Home
last modified time | relevance | path

Searched refs:Hacl_Bignum_fmul (Results 1 - 2 of 2) sorted by relevance

/third_party/mbedtls/3rdparty/everest/library/legacy/
H A DHacl_Curve25519.c410 inline static void Hacl_Bignum_fmul(uint64_t *output, uint64_t *a, uint64_t *b) in Hacl_Bignum_fmul() function
611 Hacl_Bignum_fmul(sc, x, zmone); in Hacl_EC_Format_scalar_of_point()
654 Hacl_Bignum_fmul(xxprime0, xprime, z); in Hacl_EC_AddAndDouble_fmonty()
655 Hacl_Bignum_fmul(zzprime0, x, zprime); in Hacl_EC_AddAndDouble_fmonty()
667 Hacl_Bignum_fmul(z3, zzzprime, qx); in Hacl_EC_AddAndDouble_fmonty()
673 Hacl_Bignum_fmul(x2, xx, zz); in Hacl_EC_AddAndDouble_fmonty()
678 Hacl_Bignum_fmul(z2, zzz, zz); in Hacl_EC_AddAndDouble_fmonty()
/third_party/mbedtls/3rdparty/everest/library/
H A DHacl_Curve25519.c365 inline static void Hacl_Bignum_fmul(uint64_t *output, uint64_t *a, uint64_t *b) in Hacl_Bignum_fmul() function
566 Hacl_Bignum_fmul(sc, x, zmone); in Hacl_EC_Format_scalar_of_point()
609 Hacl_Bignum_fmul(xxprime0, xprime, z); in Hacl_EC_AddAndDouble_fmonty()
610 Hacl_Bignum_fmul(zzprime0, x, zprime); in Hacl_EC_AddAndDouble_fmonty()
622 Hacl_Bignum_fmul(z3, zzzprime, qx); in Hacl_EC_AddAndDouble_fmonty()
628 Hacl_Bignum_fmul(x2, xx, zz); in Hacl_EC_AddAndDouble_fmonty()
633 Hacl_Bignum_fmul(z2, zzz, zz); in Hacl_EC_AddAndDouble_fmonty()

Completed in 4 milliseconds