Lines Matching defs:x3
759 #define x3 (result->x)
771 mpi_set_ui(x3, 1);
807 ec_pow2(x3, l1, ctx);
809 ec_subm(x3, x3, t1, ctx);
817 ec_subm(y3, l2, x3, ctx);
822 #undef x3
944 #define x3 (result->x)
964 mpi_set(x3, p2->x);
969 mpi_set(x3, p1->x);
1007 mpi_set_ui(x3, 1);
1019 /* x3 = l6^2 - l7 l3^2 */
1023 ec_subm(x3, t1, t2, ctx);
1024 /* l9 = l7 l3^2 - 2 x3 */
1025 ec_mul2(t1, x3, ctx);
1042 #undef x3