#ifndef PQCLEAN_KYBER512_AVX2_REDUCE_H
#define PQCLEAN_KYBER512_AVX2_REDUCE_H
#include "params.h"
#include <immintrin.h>

void PQCLEAN_KYBER512_AVX2_reduce_avx(__m256i *r, const __m256i *PQCLEAN_KYBER512_AVX2_qdata);
void PQCLEAN_KYBER512_AVX2_tomont_avx(__m256i *r, const __m256i *PQCLEAN_KYBER512_AVX2_qdata);

#endif