update

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

diff --git a/kernel/fiasco/src/kern/ux/mem_space-ux.cpp b/kernel/fiasco/src/kern/ux/mem_space-ux.cpp
index ae4b7339ebe8981ac10c7fc65b8772e343d1c2f4..76a1ac8cae2258bb2bfe284ce46f8213425440d5 100644 (file)
--- a/kernel/fiasco/src/kern/ux/mem_space-ux.cpp
+++ b/kernel/fiasco/src/kern/ux/mem_space-ux.cpp
@@ -19,7 +19,7 @@ thread_page_fault(Address, Mword, Address, Mword, Return_frame *);
 EXTENSION class Mem_space
 {
 protected:
-  void sync_kernel() const {}
+  int sync_kernel() const { return 0; }
 
   pid_t _pid;
 };