Lines Matching defs:x3
625 uint32_t x1[9], x2[9], x3[9], z2[9], z3[9];
646 * Initialise variables x1, x2, z2, x3 and z3. We set all of them
650 memcpy(x3, x1, sizeof x1);
673 cswap(x2, x3, swap);
680 print_int("x3", x3);
689 f255_add(c, x3, z3);
690 f255_sub(d, x3, z3);
706 f255_add(x3, da, cb);
707 f255_square(x3, x3);
719 print_int("x3", x3);
723 cswap(x2, x3, swap);