update

[l4.git] / kernel / fiasco / src / kern / ia32 / mem_space-ia32.cpp

diff --git a/kernel/fiasco/src/kern/ia32/mem_space-ia32.cpp b/kernel/fiasco/src/kern/ia32/mem_space-ia32.cpp
index ff4fda5dad7c4b30be71e4b0365b3124c9688650..31741d79a05ab6ae6c0af60b53f8a7b652ba133d 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/mem_space-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/mem_space-ia32.cpp
@@ -145,6 +145,13 @@ Mem_space::tlb_flush(bool = false)
   Mem_unit::tlb_flush();
 }
 
+PUBLIC static inline
+void
+Mem_space::tlb_flush_spaces(bool, Mem_space *, Mem_space *)
+{
+  tlb_flush();
+}
+
 
 IMPLEMENT inline
 Mem_space *
@@ -428,8 +435,7 @@ void Mem_space::kmem_update (void *addr)
   *dir.e = *kdir.e;
 }
 
-IMPLEMENT inline NEEDS["kmem.h","logdefs.h",Mem_space::current_pdir,
-                       Mem_space::need_tlb_flush]
+IMPLEMENT inline NEEDS["kmem.h", "logdefs.h", Mem_space::current_pdir]
 void
 Mem_space::switchin_context(Mem_space *from)
 {
@@ -441,7 +447,7 @@ Mem_space::switchin_context(Mem_space *from)
     return;
 #endif
 
-  if (from != this || need_tlb_flush())
+  if (from != this)
     {
       CNT_ADDR_SPACE_SWITCH;
       make_current();