diff --git a/reactos/w32api/include/ddk/winddk.h b/reactos/w32api/include/ddk/winddk.h
index 8c4b400f025..34698ed5454 100644
--- a/reactos/w32api/include/ddk/winddk.h
+++ b/reactos/w32api/include/ddk/winddk.h
@@ -7612,7 +7612,16 @@ KeMemoryBarrier(
   VOID)
 {
   volatile LONG Barrier;
-  __asm__ __volatile__ ("xchg %%eax, %0" : : "m" (Barrier) : "a");
+  __asm__ __volatile__ ("xchg %%eax, %0" : : "m" (Barrier) : "%eax");
+}
+
+static __inline
+VOID
+KeMemoryBarrier(
+  VOID)
+{
+  volatile LONG Barrier;
+  __asm__ __volatile__ ("xchg %%eax, %0" : : "m" (Barrier) : "%eax");
 }
 
 NTOSAPI