Searched refs:origx (Results 1 – 3 of 3) sorted by relevance
589 uint64_t *origx = buf; in Hacl_EC_AddAndDouble_fmonty() local603 memcpy(origx, x, (uint32_t)5U * sizeof x[0U]); in Hacl_EC_AddAndDouble_fmonty()605 Hacl_Bignum_fdifference(z, origx); in Hacl_EC_AddAndDouble_fmonty()
634 uint64_t *origx = buf; in Hacl_EC_AddAndDouble_fmonty() local648 memcpy(origx, x, (uint32_t)5U * sizeof x[0U]); in Hacl_EC_AddAndDouble_fmonty()650 Hacl_Bignum_fdifference(z, origx); in Hacl_EC_AddAndDouble_fmonty()
217 self.origx = event.x