X1, X0) \ VZERO ZER \ VSBIQ ZER, ZER, X0, SEL1 \ \ VACCQ X0, PL, CAR1 \ VAQ X0, PL, T0 \ VACCCQ X1, PH, CAR1, T2 \ VACQ X1, PH, CAR1, T1 \ \ VSEL X0, T0, SEL1, T0 \ VSEL X1, T1, SEL1, T1 \ VSEL ZER, T2, SEL1, T2 \ \ VSLDB $15, T2, ZER, TT1 \ VSLDB $15, T1, ZER, TT0 \ VREPIB $1, SEL1 \ VSRL SEL1, T0, T0 \ VSRL SEL1, T1, T1 \ VREPIB $7, SEL1 \ VSL SEL1, TT0, TT0 \ VSL SEL1, TT1, TT1 \ VO T0, TT0, T0 \ VO T1, TT1, T1 // ---------- // func p256Mul(res, in1, in2 *p256Element) #define res_ptr R1 #define x_ptr...