diff --git a/reactos/include/ddk/winddk.h b/reactos/include/ddk/winddk.h
index 4c810d9138c..71c9603c88b 100644
--- a/reactos/include/ddk/winddk.h
+++ b/reactos/include/ddk/winddk.h
@@ -31,7 +31,9 @@
 extern "C" {
 #endif
 
+#ifdef __GNUC__
 #include "intrin.h"
+#endif
 
 /*
 ** Definitions specific to this Device Driver Kit