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;
 }