path: root/src/Specific/NISTP256/AMD64/p256.h

#include <stdint.h>
void p256_jacobian_add_affine(
    uint64_t P3[12],
    uint64_t P1[12],
    uint64_t P2[8]);