Searched refs:z31 (Results 1 – 1 of 1) sorted by relevance
778 u64 *z31; in point_add_and_double() local790 z31 = nq_p1 + (u32)4U; in point_add_and_double()793 fadd(c0, x3, z31); in point_add_and_double()794 fsub(d0, x3, z31); in point_add_and_double()797 fsub(z31, d0, c0); in point_add_and_double()