Use free Windows DDK and compile with latest MinGW releases.

[reactos.git] / reactos / hal / halx86 / mpsirql.c

diff --git a/reactos/hal/halx86/mpsirql.c b/reactos/hal/halx86/mpsirql.c
index 182d6b9..604dd60 100644 (file)
--- a/reactos/hal/halx86/mpsirql.c
+++ b/reactos/hal/halx86/mpsirql.c
@@ -11,14 +11,12 @@
 
 /* INCLUDES *****************************************************************/
 
-#include <ddk/ntddk.h>
-#include <internal/ke.h>
-#include <internal/ps.h>
-#include <mps.h>
+#include <hal.h>
 
 #define NDEBUG
 #include <internal/debug.h>
 
+
 /* GLOBALS ******************************************************************/;
 
 extern IMPORTED ULONG DpcQueueSize;