#ifndef PQCLEAN_KYBER76890S_AVX2_NTT_H #define PQCLEAN_KYBER76890S_AVX2_NTT_H #include <immintrin.h> #include <stdint.h> void PQCLEAN_KYBER76890S_AVX2_ntt_avx(__m256i *r, const __m256i *PQCLEAN_KYBER76890S_AVX2_qdata); void PQCLEAN_KYBER76890S_AVX2_invntt_avx(__m256i *r, const __m256i *PQCLEAN_KYBER76890S_AVX2_qdata); void PQCLEAN_KYBER76890S_AVX2_nttpack_avx(__m256i *r, const __m256i *PQCLEAN_KYBER76890S_AVX2_qdata); void PQCLEAN_KYBER76890S_AVX2_nttunpack_avx(__m256i *r, const __m256i *PQCLEAN_KYBER76890S_AVX2_qdata); void PQCLEAN_KYBER76890S_AVX2_basemul_avx(__m256i *r, const __m256i *a, const __m256i *b, const __m256i *PQCLEAN_KYBER76890S_AVX2_qdata); void PQCLEAN_KYBER76890S_AVX2_ntttobytes_avx(uint8_t *r, const __m256i *a, const __m256i *PQCLEAN_KYBER76890S_AVX2_qdata); void PQCLEAN_KYBER76890S_AVX2_nttfrombytes_avx(__m256i *r, const uint8_t *a, const __m256i *PQCLEAN_KYBER76890S_AVX2_qdata); #endif