Lines Matching defs:x3
179 uint32_t x1[10], x2[10], x3[10], z2[10], z3[10];
223 * Initialise variables x1, x2, z2, x3 and z3. We set all of them
227 memcpy(x3, x1, sizeof x1);
252 cswap(x2, x3, swap);
259 print_int_mont("x3", x3);
268 c255_add(c, x3, z3);
269 c255_sub(d, x3, z3);
285 c255_add(x3, da, cb);
286 c255_mul(x3, x3, x3);
298 print_int_mont("x3", x3);
302 cswap(x2, x3, swap);