diff --git a/reactos/w32api/include/ddk/winddk.h b/reactos/w32api/include/ddk/winddk.h
index 6cc3750d0ee..8c4b400f025 100644
--- a/reactos/w32api/include/ddk/winddk.h
+++ b/reactos/w32api/include/ddk/winddk.h
@@ -7606,6 +7606,15 @@ DDKAPI
 KeLeaveCriticalRegion(
   VOID);
 
+static __inline
+VOID
+KeMemoryBarrier(
+  VOID)
+{
+  volatile LONG Barrier;
+  __asm__ __volatile__ ("xchg %%eax, %0" : : "m" (Barrier) : "a");
+}
+
 NTOSAPI
 LONG
 DDKAPI