From 9e2585e9c6163acd841b94fc23dfa6023e827cd7 Mon Sep 17 00:00:00 2001
From: Vlad-Andrei Badoiu <vlad_andrei.badoiu@upb.ro>
Date: Mon, 6 Apr 2020 22:24:05 +0300
Subject: [PATCH] Add x86intrin.h

This x86intrin.h does not include all the
expected headers since we don't have them yet.

Signed-off-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@upb.ro>
Reviewed-by: Felipe Huici <felipe.huici@neclab.eu>
---
 include/x86intrin.h | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 include/x86intrin.h

diff --git a/include/x86intrin.h b/include/x86intrin.h
new file mode 100644
index 0000000..3bbe414
--- /dev/null
+++ b/include/x86intrin.h
@@ -0,0 +1,9 @@
+#ifndef _X86INTRIN_H_INCLUDED
+#define _X86INTRIN_H_INCLUDED
+
+/* For including AVX instructions */
+#include <immintrin.h>
+
+#include <popcntintrin.h>
+
+#endif /* _X86INTRIN_H_INCLUDED */
-- 
2.39.5