Include ntifs.h instead of ntddk.h

Gnttab code uses KeStackAttachProcess which is only declared in ntifs.h
(conflicts with ntddk.h).

Signed-off-by: Rafal Wojdyla <omeg@invisiblethingslab.com>

diff --git a/src/xeniface/driver.c b/src/xeniface/driver.c
index 281ebdf0c415f9ad2ee2d07901fd3696c35d9b8a..1c84467ef720dce94702d4e9d87ecfe162ba61da 100644 (file)
--- a/src/xeniface/driver.c
+++ b/src/xeniface/driver.c
@@ -29,8 +29,7 @@
  * SUCH DAMAGE.
  */
 
-#include <ntddk.h>
-//#include <util.h>
+#include <ntifs.h>
 #include <version.h>
 
 #include "fdo.h"

diff --git a/src/xeniface/driver.h b/src/xeniface/driver.h
index 93ac645d7e479750cc602c35147768567fcfc438..00f2d8f5f2937990c7e5cefbaace49312abd07dc 100644 (file)
--- a/src/xeniface/driver.h
+++ b/src/xeniface/driver.h
@@ -44,7 +44,7 @@
 #pragma warning(disable:4100 4057)
 
 #include <wmilib.h>
-#include <ntddk.h>
+#include <ntifs.h>
 extern PDRIVER_OBJECT   DriverObject;
 
 

diff --git a/src/xeniface/fdo.c b/src/xeniface/fdo.c
index 321bfb39ba19adf56dfc5354a377bb7764eb894f..51bda240d46bff0df86b621c0ab938cc32a8ea52 100644 (file)
--- a/src/xeniface/fdo.c
+++ b/src/xeniface/fdo.c
@@ -30,7 +30,7 @@
  */
 
 
-#include <ntddk.h>
+#include <ntifs.h>
 #include <wdmguid.h>
 #include <ntstrsafe.h>
 #include <stdlib.h>

diff --git a/src/xeniface/fdo.h b/src/xeniface/fdo.h
index 32f6bb1e5e19840ea507ef263ec6f0d09dcba0a2..4416064c31098e7f97db17ed7fe9f68983ae6fd0 100644 (file)
--- a/src/xeniface/fdo.h
+++ b/src/xeniface/fdo.h
@@ -32,7 +32,7 @@
 #ifndef _XENIFACE_FDO_H
 #define _XENIFACE_FDO_H
 
-#include <ntddk.h>
+#include <ntifs.h>
 #include <store_interface.h>
 #include <suspend_interface.h>
 #include <shared_info_interface.h>

diff --git a/src/xeniface/wmi.c b/src/xeniface/wmi.c
index 4285ada47df1e423741b9302cb97c393042f265d..1bdb83406c5d7f7cc3f0189185a03f81cb9141fb 100644 (file)
--- a/src/xeniface/wmi.c
+++ b/src/xeniface/wmi.c
@@ -30,12 +30,11 @@
  */
 
 
-#include <ntddk.h>
+#include <ntifs.h>
 #include <initguid.h>
 #include <wmistr.h>
 #include <wmilib.h>
 #include <stdio.h>
-#include <ntddk.h>
 #include <guiddef.h>
 #define NTSTRSAFE_LIB
 #include<ntstrsafe.h>

diff --git a/src/xeniface/wmi.h b/src/xeniface/wmi.h
index 7fb67ca284e5553057b1dc41c2b8be8dc9402b24..ed77af7eb4af43d5a517af279eec5b589755ab57 100644 (file)
--- a/src/xeniface/wmi.h
+++ b/src/xeniface/wmi.h
@@ -33,7 +33,7 @@
 #ifndef _XEVTCHN_WMI_H
 #define _XEVTCHN_WMI_H
 
-#include <ntddk.h>
+#include <ntifs.h>
 #include "driver.h"
 #include "wmi_generated.h"