X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/f4122e6e085938b6d216a9ec724b974a603f6992..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/kernel/fiasco/src/kern/obj_space.cpp

diff --git a/kernel/fiasco/src/kern/obj_space.cpp b/kernel/fiasco/src/kern/obj_space.cpp
index 403e2d7fb..5a24e3686 100644
--- a/kernel/fiasco/src/kern/obj_space.cpp
+++ b/kernel/fiasco/src/kern/obj_space.cpp
@@ -1,6 +1,7 @@
 INTERFACE:
 
 #include "l4_types.h"
+#include "l4_msg_item.h"
 #include "pages.h"
 
 class Kobject_mapdb;
@@ -50,7 +51,7 @@ namespace Obj {
       Delete  = L4_fpage::CD,
       Ref_cnt = 0x10,
 
-      Initial_flags = Delete | Ref_cnt | L4_fpage::C_ctl_rights
+      Initial_flags = Delete | Ref_cnt | L4_msg_item::C_ctl_rights
     };
 
   protected:
@@ -214,6 +215,12 @@ Mword
 Generic_obj_space<SPACE>::xlate_flush(unsigned char rights)
 { return rights; }
 
+PUBLIC template< typename SPACE >
+static inline
+Mword
+Generic_obj_space<SPACE>::is_full_flush(unsigned char rights)
+{ return rights & L4_fpage::R; }
+
 PUBLIC template< typename SPACE >
 static inline
 Mword