1357 	uint32_t t1[20], t2[20], t3[20], t4[20];  in p256_double()  local
1412 	mul_f256(t4, Q->y, Q->z);  in p256_double()
1414 		Q->z[i] = t4[i] << 1;  in p256_double()
1428 	square_f256(t4, t3);  in p256_double()
1430 		Q->y[i] += (F256[i] << 2) - (t4[i] << 1);  in p256_double()
1483 	uint32_t t1[20], t2[20], t3[20], t4[20], t5[20], t6[20], t7[20];  in p256_add()  local
1492 	mul_f256(t4, P2->z, t3);  in p256_add()
1493 	mul_f256(t3, P1->y, t4);  in p256_add()
1498 	square_f256(t4, P1->z);  in p256_add()
1499 	mul_f256(t2, P2->x, t4);  in p256_add()
1500 	mul_f256(t5, P1->z, t4);  in p256_add()
1501 	mul_f256(t4, P2->y, t5);  in p256_add()
1510 		t4[i] += (F256[i] << 1) - t3[i];  in p256_add()
1513 	norm13(t4, t4, 20);  in p256_add()
1514 	reduce_f256(t4);  in p256_add()
1515 	reduce_final_f256(t4);  in p256_add()
1518 		ret |= t4[i];  in p256_add()
1532 	square_f256(P1->x, t4);  in p256_add()
1546 	mul_f256(P1->y, t4, t6);  in p256_add()
1608 	uint32_t t1[20], t2[20], t3[20], t4[20], t5[20], t6[20], t7[20];  in p256_add_mixed()  local
1621 	square_f256(t4, P1->z);  in p256_add_mixed()
1622 	mul_f256(t2, P2->x, t4);  in p256_add_mixed()
1623 	mul_f256(t5, P1->z, t4);  in p256_add_mixed()
1624 	mul_f256(t4, P2->y, t5);  in p256_add_mixed()
1633 		t4[i] += (F256[i] << 1) - t3[i];  in p256_add_mixed()
1636 	norm13(t4, t4, 20);  in p256_add_mixed()
1637 	reduce_f256(t4);  in p256_add_mixed()
1638 	reduce_final_f256(t4);  in p256_add_mixed()
1641 		ret |= t4[i];  in p256_add_mixed()
1655 	square_f256(P1->x, t4);  in p256_add_mixed()
1669 	mul_f256(P1->y, t4, t6);  in p256_add_mixed()