1013 reduce_f256(uint32_t *d)  in reduce_f256()  function
1397 	reduce_f256(t2);  in p256_double()
1407 	reduce_f256(Q->x);  in p256_double()
1417 	reduce_f256(Q->z);  in p256_double()
1433 	reduce_f256(Q->y);  in p256_double()
1514 	reduce_f256(t4);  in p256_add()
1537 	reduce_f256(P1->x);  in p256_add()
1552 	reduce_f256(P1->y);  in p256_add()
1637 	reduce_f256(t4);  in p256_add_mixed()
1660 	reduce_f256(P1->x);  in p256_add_mixed()
1675 	reduce_f256(P1->y);  in p256_add_mixed()
1729 	reduce_f256(t1);  in p256_decode()