From 53c223dea44cd54fb6aca2de952da49a8105d1b0 Mon Sep 17 00:00:00 2001
From: Berke Viktor <berkeviktor@aol.com>
Date: Mon, 28 Nov 2011 14:53:28 +0100
Subject: [PATCH] first piece of wdk fixes for winsys

---
 plugins/winsys/winsys.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/plugins/winsys/winsys.c b/plugins/winsys/winsys.c
index 5ec462c8..2a1e65ad 100644
--- a/plugins/winsys/winsys.c
+++ b/plugins/winsys/winsys.c
@@ -23,7 +23,9 @@
 #define _WIN32_DCOM
 #include <stdio.h>
 #include <windows.h>
-#include <intrin.h>
+/* use intrin.h for SDK builds
+#include <intrin.h> */
+#include <ntddk.h>
 #include <comdef.h>
 #include <Wbemidl.h>