[evb] 45534: - Make KeFlushProcessTb work. Since no MPCore support, CPU TLB is flushed instead. Maybe should use ASIDs later.

Author: evb
Date: Tue Feb  9 19:06:26 2010
New Revision: 45534

URL: http://svn.reactos.org/svn/reactos?rev=45534&view=rev
Log:
- Make KeFlushProcessTb work. Since no MPCore support, CPU TLB is flushed instead. Maybe
should use ASIDs later.


Modified:
    trunk/reactos/ntoskrnl/include/internal/arm/ke.h

Modified: trunk/reactos/ntoskrnl/include/internal/arm/ke.h
URL:
http://svn.reactos.org/svn/reactos/trunk/reactos/ntoskrnl/include/internal/…
==============================================================================
--- trunk/reactos/ntoskrnl/include/internal/arm/ke.h [iso-8859-1] (original)
+++ trunk/reactos/ntoskrnl/include/internal/arm/ke.h [iso-8859-1] Tue Feb  9 19:06:26
2010
@@ -77,10 +77,7 @@
 VOID
 KeFlushProcessTb(VOID)
 {
-    //
-    // We need to implement this!
-    //
-    ASSERTMSG("Need ARM flush routine\n", FALSE);
+    KeArmFlushTlb();
 }
 
 FORCEINLINE