update

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

diff --git a/kernel/fiasco/src/kern/ia32/mem_space-ia32.cpp b/kernel/fiasco/src/kern/ia32/mem_space-ia32.cpp
index 31741d79a05ab6ae6c0af60b53f8a7b652ba133d..33854b457b0ce874e9bf7218ef4e7cd3a40f4d2e 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/mem_space-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/mem_space-ia32.cpp
@@ -116,6 +116,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)