Searched refs:Hacl_Bignum_fscalar (Results 1 – 2 of 2) sorted by relevance
372 inline static void Hacl_Bignum_fscalar(uint64_t *output, uint64_t *b, uint64_t s) in Hacl_Bignum_fscalar() function676 Hacl_Bignum_fscalar(zzz, zz, scalar); in Hacl_EC_AddAndDouble_fmonty()
330 inline static void Hacl_Bignum_fscalar(uint64_t *output, uint64_t *b, uint64_t s) in Hacl_Bignum_fscalar() function631 Hacl_Bignum_fscalar(zzz, zz, scalar); in Hacl_EC_AddAndDouble_fmonty()