#ifndef PQCLEAN_KYBER768_AVX2_REDUCE_H #define PQCLEAN_KYBER768_AVX2_REDUCE_H #include "params.h" #include void PQCLEAN_KYBER768_AVX2_reduce_avx(__m256i *r, const __m256i *PQCLEAN_KYBER768_AVX2_qdata); void PQCLEAN_KYBER768_AVX2_tomont_avx(__m256i *r, const __m256i *PQCLEAN_KYBER768_AVX2_qdata); #endif