diff --git a/reactos/hal/halx86/generic/adapter.c b/reactos/hal/halx86/generic/adapter.c
index 80df33e4f17..193aab3fa03 100644
--- a/reactos/hal/halx86/generic/adapter.c
+++ b/reactos/hal/halx86/generic/adapter.c
@@ -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>
diff --git a/reactos/hal/halx86/generic/pci.c b/reactos/hal/halx86/generic/pci.c
index eb2678a69e4..162c40dbe59 100644
--- a/reactos/hal/halx86/generic/pci.c
+++ b/reactos/hal/halx86/generic/pci.c
@@ -22,6 +22,7 @@
 #include <bus.h>
 #include <halirq.h>
 #include <hal.h>
+#include <internal/ps.h>
 
 #define NDEBUG
 #include <internal/debug.h>
diff --git a/reactos/hal/halx86/generic/spinlock.c b/reactos/hal/halx86/generic/spinlock.c
index 6d02d7c1c47..d2ea93bd917 100644
--- a/reactos/hal/halx86/generic/spinlock.c
+++ b/reactos/hal/halx86/generic/spinlock.c
@@ -18,6 +18,7 @@
 /* INCLUDES ****************************************************************/
 
 #include <ddk/ntddk.h>
+#include <internal/ps.h>
 
 #include <internal/debug.h>
 
diff --git a/reactos/hal/halx86/xbox/part_xbox.c b/reactos/hal/halx86/xbox/part_xbox.c
index d79b949dfbf..6222770b66d 100644
--- a/reactos/hal/halx86/xbox/part_xbox.c
+++ b/reactos/hal/halx86/xbox/part_xbox.c
@@ -14,6 +14,7 @@
 #include <ddk/ntddk.h>
 #include <hal.h>
 #include "halxbox.h"
+#include <internal/ps.h>
 
 #define NDEBUG
 #include <internal/debug.h>