We need to call HalReleaseDisplayOwnership before killing all running processes.

[reactos.git] / reactos / hal / halx86 / generic / reboot.c

diff --git a/reactos/hal/halx86/generic/reboot.c b/reactos/hal/halx86/generic/reboot.c
index 8c15cf0..667443f 100644 (file)
--- a/reactos/hal/halx86/generic/reboot.c
+++ b/reactos/hal/halx86/generic/reboot.c
@@ -9,9 +9,9 @@
  *                  Created 11/10/99
  */
 
-
-#include <ddk/ntddk.h>
 #include <hal.h>
+#define NDEBUG
+#include <debug.h>
 
 
 static VOID
@@ -54,17 +54,16 @@ HalReboot (VOID)
 
 VOID STDCALL
 HalReturnToFirmware (
-       ULONG   Action
+       FIRMWARE_REENTRY        Action
        )
 {
-    if (Action == FIRMWARE_HALT)
+    if (Action == HalHaltRoutine)
     {
         DbgPrint ("HalReturnToFirmware called!\n");
         DbgBreakPoint ();
     }
-    else if (Action == FIRMWARE_REBOOT)
+    else if (Action == HalRebootRoutine)
     {
-        HalReleaseDisplayOwnership();
         HalReboot ();
     }
 }