Files

10 lines
320 B
C

#ifndef PQCLEAN_MLKEM768_AVX2_REDUCE_H
#define PQCLEAN_MLKEM768_AVX2_REDUCE_H
#include "params.h"
#include <immintrin.h>
void PQCLEAN_MLKEM768_AVX2_reduce_avx(__m256i *r, const __m256i *PQCLEAN_MLKEM768_AVX2_qdata);
void PQCLEAN_MLKEM768_AVX2_tomont_avx(__m256i *r, const __m256i *PQCLEAN_MLKEM768_AVX2_qdata);
#endif