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

evb · evb · commit 1bfa0a72c89b · 2010-02-09T18:06:26.000Z
svn path=/trunk/; revision=45534
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -77,10 +77,7 @@ FORCEINLINE`
`77`	`77`	`VOID`
`78`	`78`	`KeFlushProcessTb(VOID)`
`79`	`79`	`{`
`80`		`- //`
`81`		`- // We need to implement this!`
`82`		`- //`
`83`		`- ASSERTMSG("Need ARM flush routine\n", FALSE);`
	`80`	`+ KeArmFlushTlb();`
`84`	`81`	`}`
`85`	`82`
`86`	`83`	`FORCEINLINE`