Lines Matching defs:x2
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
652 memset(x2, 0, sizeof x2);
653 x2[0] = 1;
673 cswap(x2, x3, swap);
678 print_int("x2", x2);
684 f255_add(a, x2, z2);
686 f255_sub(b, x2, z2);
711 f255_mul(x2, aa, bb);
717 print_int("x2", x2);
723 cswap(x2, x3, swap);
751 f255_mul(x2, x2, b);
752 reduce_final_f255(x2);
753 le30_to_le8(G, 32, x2);