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