update

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

diff --git a/kernel/fiasco/src/kern/ppc32/mem_space-ppc32.cpp b/kernel/fiasco/src/kern/ppc32/mem_space-ppc32.cpp
index 1e1aaf77d960da1fedf7c3a65bb31ffc48c7608c..e4374bab24d997f80c29156fd717ad21465fd609 100644 (file)
--- a/kernel/fiasco/src/kern/ppc32/mem_space-ppc32.cpp
+++ b/kernel/fiasco/src/kern/ppc32/mem_space-ppc32.cpp
@@ -118,6 +118,14 @@ Mem_space::xlate_flush(unsigned char rights)
   return a;
 }
 
+//XXX cbass: check;
+PUBLIC static inline
+Mword
+Mem_space::is_full_flush(unsigned char rights)
+{
+  return rights & L4_fpage::RX;
+}
+
 PUBLIC static inline
 unsigned char
 Mem_space::xlate_flush_result(Mword attribs)