Build with MP=1

Modified: trunk/reactos/hal/halx86/generic/adapter.c
Modified: trunk/reactos/hal/halx86/generic/pci.c
Modified: trunk/reactos/hal/halx86/generic/spinlock.c
Modified: trunk/reactos/hal/halx86/xbox/part_xbox.c

--- trunk/reactos/hal/halx86/generic/adapter.c	2005-06-01 17:27:55 UTC (rev 15714)
+++ trunk/reactos/hal/halx86/generic/adapter.c	2005-06-01 17:28:51 UTC (rev 15715)
@@ -15,6 +15,7 @@

 
 #include <ddk/ntddk.h>
 #include <ddk/iotypes.h>

+#include <internal/ps.h>

 #define NDEBUG
 #include <internal/debug.h>
 #include <hal.h>

--- trunk/reactos/hal/halx86/generic/pci.c	2005-06-01 17:27:55 UTC (rev 15714)
+++ trunk/reactos/hal/halx86/generic/pci.c	2005-06-01 17:28:51 UTC (rev 15715)
@@ -22,6 +22,7 @@

 #include <bus.h>
 #include <halirq.h>
 #include <hal.h>

+#include <internal/ps.h>

 
 #define NDEBUG
 #include <internal/debug.h>

--- trunk/reactos/hal/halx86/generic/spinlock.c	2005-06-01 17:27:55 UTC (rev 15714)
+++ trunk/reactos/hal/halx86/generic/spinlock.c	2005-06-01 17:28:51 UTC (rev 15715)
@@ -18,6 +18,7 @@

 /* INCLUDES ****************************************************************/
 
 #include <ddk/ntddk.h>

+#include <internal/ps.h>

 
 #include <internal/debug.h>
 

--- trunk/reactos/hal/halx86/xbox/part_xbox.c	2005-06-01 17:27:55 UTC (rev 15714)
+++ trunk/reactos/hal/halx86/xbox/part_xbox.c	2005-06-01 17:28:51 UTC (rev 15715)
@@ -14,6 +14,7 @@

 #include <ddk/ntddk.h>
 #include <hal.h>
 #include "halxbox.h"

+#include <internal/ps.h>

 
 #define NDEBUG
 #include <internal/debug.h>