Lines Matching defs:x3
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
1328 memcpy(x3, x1, sizeof x1);
1351 cswap(x2, x3, swap);
1358 print_int("x3", x3);
1367 f255_add(c, x3, z3);
1368 f255_sub(d, x3, z3);
1384 f255_add(x3, da, cb);
1385 f255_square(x3, x3);
1397 print_int("x3", x3);
1401 cswap(x2, x3, swap);