Searched refs:xx0 (Results 1 – 2 of 2) sorted by relevance
594 uint64_t *xx0; in Hacl_EC_AddAndDouble_fmonty() local612 xx0 = buf + (uint32_t)15U; in Hacl_EC_AddAndDouble_fmonty()623 Hacl_Bignum_Fsquare_fsquare_times(xx0, x, (uint32_t)1U); in Hacl_EC_AddAndDouble_fmonty()
639 uint64_t *xx0; in Hacl_EC_AddAndDouble_fmonty() local657 xx0 = buf + (uint32_t)15U; in Hacl_EC_AddAndDouble_fmonty()668 Hacl_Bignum_Fsquare_fsquare_times(xx0, x, (uint32_t)1U); in Hacl_EC_AddAndDouble_fmonty()