diff --git a/reactos/include/ddk/ntifs.h b/reactos/include/ddk/ntifs.h
index 697f9ad62a3..8ba9aa6fa90 100644
--- a/reactos/include/ddk/ntifs.h
+++ b/reactos/include/ddk/ntifs.h
@@ -3956,13 +3956,6 @@ FsRtlUninitializeOplock (
     IN OUT POPLOCK Oplock
 );
 
-NTHALAPI
-VOID
-NTAPI
-HalDisplayString (
-    IN PCHAR String
-);
-
 NTKERNELAPI
 UCHAR
 NTAPI
diff --git a/reactos/include/ddk/winddk.h b/reactos/include/ddk/winddk.h
index 8d1f3a48722..9807da94f45 100644
--- a/reactos/include/ddk/winddk.h
+++ b/reactos/include/ddk/winddk.h
@@ -8304,6 +8304,13 @@ KeEnterCriticalRegion(
 #define ExAcquireSpinLockAtDpcLevel(Lock) KeAcquireSpinLockAtDpcLevel(Lock)
 #define ExReleaseSpinLockFromDpcLevel(Lock) KeReleaseSpinLockFromDpcLevel(Lock)
 
+NTKERNELAPI
+VOID
+NTAPI
+KeFlushQueuedDpcs(
+    VOID
+);
+
 NTHALAPI
 VOID
 NTAPI
diff --git a/reactos/include/ndk/kefuncs.h b/reactos/include/ndk/kefuncs.h
index ee9f6779e3d..51f880a5f0a 100644
--- a/reactos/include/ndk/kefuncs.h
+++ b/reactos/include/ndk/kefuncs.h
@@ -195,12 +195,6 @@ KeIsExecutingDpc(
     VOID
 );
 
-VOID
-NTAPI
-KeFlushQueuedDpcs(
-    VOID
-);
-
 BOOLEAN
 NTAPI
 KiIpiServiceRoutine(