Use free Windows DDK and compile with latest MinGW releases.

[reactos.git] / reactos / ntoskrnl / ke / i386 / bios.c

diff --git a/reactos/ntoskrnl/ke/i386/bios.c b/reactos/ntoskrnl/ke/i386/bios.c
index bcc6c5e..90152e8 100644 (file)
--- a/reactos/ntoskrnl/ke/i386/bios.c
+++ b/reactos/ntoskrnl/ke/i386/bios.c
@@ -25,12 +25,12 @@
 
 /* INCLUDES *****************************************************************/
 
-#include <ddk/ntddk.h>
-#include <internal/v86m.h>
+#include <ntoskrnl.h>
 
 #define NDEBUG
 #include <internal/debug.h>
 
+
 /* GLOBALS *******************************************************************/
 
 #define TRAMPOLINE_BASE    (0x10000)