1 #ifndef PQCLEAN_MCELIECE348864F_AVX_VEC_H
2 #define PQCLEAN_MCELIECE348864F_AVX_VEC_H
3 
4 #include <stdint.h>
5 
6 
7 void PQCLEAN_MCELIECE348864F_AVX_vec_mul(uint64_t *h, const uint64_t *f, const uint64_t *g);
8 
9 void PQCLEAN_MCELIECE348864F_AVX_vec_mul_sp(uint64_t *h, const uint64_t *f, const uint64_t *g);
10 
11 void PQCLEAN_MCELIECE348864F_AVX_vec_add(uint64_t *h, const uint64_t *f, const uint64_t *g);
12 
13 #endif
14