Searched refs:xxprime0 (Results 1 – 2 of 2) sorted by relevance
591 uint64_t *xxprime0 = buf + (uint32_t)25U; in Hacl_EC_AddAndDouble_fmonty() local609 Hacl_Bignum_fmul(xxprime0, xprime, z); in Hacl_EC_AddAndDouble_fmonty()
636 uint64_t *xxprime0 = buf + (uint32_t)25U; in Hacl_EC_AddAndDouble_fmonty() local654 Hacl_Bignum_fmul(xxprime0, xprime, z); in Hacl_EC_AddAndDouble_fmonty()