From: evb <evb@svn.reactos.org>
Date: Tue, 9 Feb 2010 18:06:26 +0000 (+0000)
Subject: - Make KeFlushProcessTb work. Since no MPCore support, CPU TLB is flushed instead... 
X-Git-Tag: backups/jcatena-branch@60647^2~45
X-Git-Url: https://git.reactos.org/?p=reactos.git;a=commitdiff_plain;h=1bfa0a72c89b89e3afc467a8460acf8433388548

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


svn path=/trunk/; revision=45534
---

diff --git a/reactos/ntoskrnl/include/internal/arm/ke.h b/reactos/ntoskrnl/include/internal/arm/ke.h
index 7bd1c6e161e..e8bdaf5db1b 100644
--- a/reactos/ntoskrnl/include/internal/arm/ke.h
+++ b/reactos/ntoskrnl/include/internal/arm/ke.h
@@ -77,10 +77,7 @@ FORCEINLINE
 VOID
 KeFlushProcessTb(VOID)
 {
-    //
-    // We need to implement this!
-    //
-    ASSERTMSG("Need ARM flush routine\n", FALSE);
+    KeArmFlushTlb();
 }
 
 FORCEINLINE