Lines Matching defs:x3
188 uint16_t x1[18], x2[18], x3[18], z2[18], z3[18];
232 * Initialise variables x1, x2, z2, x3 and z3. We set all of them
236 memcpy(x3, x1, ILEN);
258 cswap(x2, x3, swap);
265 print_int_mont("x3", x3);
274 c255_add(c, x3, z3);
275 c255_sub(d, x3, z3);
291 c255_add(x3, da, cb);
292 c255_mul(x3, x3, x3);
304 print_int_mont("x3", x3);
308 cswap(x2, x3, swap);