Update

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

diff --git a/kernel/fiasco/src/kern/ppc32/mem_space-htab.cpp b/kernel/fiasco/src/kern/ppc32/mem_space-htab.cpp
index a0a160c42aa7aad97ef424013963dd0abe38ed59..b113040fe388785f0a8e7d63436f007925316305 100644 (file)
--- a/kernel/fiasco/src/kern/ppc32/mem_space-htab.cpp
+++ b/kernel/fiasco/src/kern/ppc32/mem_space-htab.cpp
@@ -348,7 +348,7 @@ Mem_space::v_delete_htab(Address pte_addr, unsigned page_attribs = Page_all_attr
 
 IMPLEMENT inline NEEDS["kmem.h"]
 void
-Mem_space::switchin_context(Mem_space *from)
+Mem_space::switchin_context(Mem_space *from, unsigned)
 {
   if(dir() == Kmem::dir())
     return;