Lines Matching defs:z3
380 uint64_t x1[5], x2[5], z2[5], x3[5], z3[5];
414 memcpy(z3, x2, sizeof x2);
436 f255_cswap(z2, z3, swap);
466 f255_add(c, x3, z3);
469 f255_sub(d, x3, z3);
482 f255_sub(z3, da, cb);
483 f255_mul(z3, z3, z3);
484 f255_mul(z3, x1, z3);
496 f255_cswap(z2, z3, swap);