diff --git a/reactos/include/ddk/winddk.h b/reactos/include/ddk/winddk.h
index 340e98f1588..d266b313d69 100644
--- a/reactos/include/ddk/winddk.h
+++ b/reactos/include/ddk/winddk.h
@@ -9495,6 +9495,12 @@ DDKAPI
 KeRaiseIrqlToDpcLevel(
   VOID);
 
+NTHALAPI
+KIRQL
+DDKAPI
+KeRaiseIrqlToSynchLevel(
+    VOID);
+
 #define KeLowerIrql(a) KfLowerIrql(a)
 #define KeRaiseIrql(a,b) *(b) = KfRaiseIrql(a)
 
@@ -9581,15 +9587,14 @@ NTAPI
 KeRaiseIrqlToDpcLevel(
   VOID);
 
-#endif
-    
 NTKERNELAPI
 KIRQL
 DDKAPI
 KeRaiseIrqlToSynchLevel(
     VOID);
 
-    
+#endif
+
 /** Memory manager routines **/
 
 NTKERNELAPI