Searched refs:zmone (Results 1 – 2 of 2) sorted by relevance
608 uint64_t *zmone = buf; in Hacl_EC_Format_scalar_of_point() local610 Hacl_Bignum_crecip(zmone, z); in Hacl_EC_Format_scalar_of_point()611 Hacl_Bignum_fmul(sc, x, zmone); in Hacl_EC_Format_scalar_of_point()
563 uint64_t *zmone = buf; in Hacl_EC_Format_scalar_of_point() local565 Hacl_Bignum_crecip(zmone, z); in Hacl_EC_Format_scalar_of_point()566 Hacl_Bignum_fmul(sc, x, zmone); in Hacl_EC_Format_scalar_of_point()