From 7143bd082477d79a26230c2cb52ab47121d41f85 Mon Sep 17 00:00:00 2001
From: Alex Ionescu <aionescu@gmail.com>
Date: Thu, 23 Jun 2005 15:58:03 +0000
Subject: [PATCH] Build stub hal with NDK

svn path=/trunk/; revision=16246
---
 reactos/hal/hal/hal.c | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/reactos/hal/hal/hal.c b/reactos/hal/hal/hal.c
index 73ebe989c96..c031a647acb 100644
--- a/reactos/hal/hal/hal.c
+++ b/reactos/hal/hal/hal.c
@@ -12,15 +12,11 @@
 /* INCLUDES ******************************************************************/
 
 #include <ddk/ntddk.h>
-#include <roscfg.h>
+#include <ndk/ntndk.h>
 
-#include <internal/debug.h>
 #define NDEBUG
 #include <debug.h>
 
-typedef struct _LOADER_PARAMETER_BLOCK *PLOADER_PARAMETER_BLOCK;
-typedef struct _KD_PORT_INFORMATION *PKD_PORT_INFORMATION;
-
 /* DATA **********************************************************************/
 
 ULONG KdComPortInUse = 0;
@@ -439,7 +435,7 @@ HalRequestSoftwareInterrupt(
 VOID
 STDCALL
 HalReturnToFirmware(
-  ULONG Action)
+  FIRMWARE_REENTRY Action)
 {
   UNIMPLEMENTED;
 }