1 #ifndef PQCLEAN_MCELIECE348864_AVX_PK_GEN_H
2 #define PQCLEAN_MCELIECE348864_AVX_PK_GEN_H
3 /*
4   This file is for public-key generation
5 */
6 
7 
8 #include "gf.h"
9 
10 int PQCLEAN_MCELIECE348864_AVX_pk_gen(unsigned char * /*pk*/, uint32_t * /*perm*/, const unsigned char * /*sk*/);
11 
12 #endif
13 
14