update

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

diff --git a/kernel/fiasco/src/kern/arm/mem_space-arm.cpp b/kernel/fiasco/src/kern/arm/mem_space-arm.cpp
index 0943afcaddff299416d73fdd5a67c4bea69a2e11..5d118ccd3476005b78a8217270cdbad830c0ed56 100644 (file)
--- a/kernel/fiasco/src/kern/arm/mem_space-arm.cpp
+++ b/kernel/fiasco/src/kern/arm/mem_space-arm.cpp
@@ -96,6 +96,13 @@ Mem_space::xlate_flush(unsigned char rights)
   return a;
 }
 
+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)