Lines Matching defs:x2
1303 uint32_t x1[20], x2[20], x3[20], z2[20], z3[20];
1324 * Initialise variables x1, x2, z2, x3 and z3. We set all of them
1330 memset(x2, 0, sizeof x2);
1331 x2[0] = 1;
1351 cswap(x2, x3, swap);
1356 print_int("x2", x2);
1362 f255_add(a, x2, z2);
1364 f255_sub(b, x2, z2);
1389 f255_mul(x2, aa, bb);
1395 print_int("x2", x2);
1401 cswap(x2, x3, swap);
1429 f255_mul(x2, x2, b);
1430 reduce_final_f255(x2);
1431 le13_to_le8(G, 32, x2);