update

[l4.git] / kernel / fiasco / src / jdb / arm / jdb_ptab-arm.cpp

diff --git a/kernel/fiasco/src/jdb/arm/jdb_ptab-arm.cpp b/kernel/fiasco/src/jdb/arm/jdb_ptab-arm.cpp
index 1b5dcbc0193cc53bd22c4b09b9a000a910abcb34..f4f7f784b744b3c07e914daeedb4df29a14f8ca8 100644 (file)
--- a/kernel/fiasco/src/jdb/arm/jdb_ptab-arm.cpp
+++ b/kernel/fiasco/src/jdb/arm/jdb_ptab-arm.cpp
@@ -42,7 +42,7 @@ Jdb_ptab::is_cached(Mword entry, unsigned level)
   if (level == 0)
     {
       if ((entry & 3) == 2)
-        return (entry & 0x700c) == 0x5004;
+        return (entry & Page::Section_cache_mask) == Page::Section_cachable_bits;
       return true;
     }