Searched refs:zz0 (Results 1 – 2 of 2) sorted by relevance
595 uint64_t *zz0; in Hacl_EC_AddAndDouble_fmonty() local613 zz0 = buf + (uint32_t)20U; in Hacl_EC_AddAndDouble_fmonty()624 Hacl_Bignum_Fsquare_fsquare_times(zz0, z, (uint32_t)1U); in Hacl_EC_AddAndDouble_fmonty()
640 uint64_t *zz0; in Hacl_EC_AddAndDouble_fmonty() local658 zz0 = buf + (uint32_t)20U; in Hacl_EC_AddAndDouble_fmonty()669 Hacl_Bignum_Fsquare_fsquare_times(zz0, z, (uint32_t)1U); in Hacl_EC_AddAndDouble_fmonty()