- Make KeFlushProcessTb work. Since no MPCore support, CPU TLB is flushed instead...
authorevb <evb@svn.reactos.org>
Tue, 9 Feb 2010 18:06:26 +0000 (18:06 +0000)
committerevb <evb@svn.reactos.org>
Tue, 9 Feb 2010 18:06:26 +0000 (18:06 +0000)
svn path=/trunk/; revision=45534

reactos/ntoskrnl/include/internal/arm/ke.h

index 7bd1c6e..e8bdaf5 100644 (file)
@@ -77,10 +77,7 @@ FORCEINLINE
 VOID
 KeFlushProcessTb(VOID)
 {
-    //
-    // We need to implement this!
-    //
-    ASSERTMSG("Need ARM flush routine\n", FALSE);
+    KeArmFlushTlb();
 }
 
 FORCEINLINE