update

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

diff --git a/kernel/fiasco/src/kern/ppc32/mapping-ppc32.cpp b/kernel/fiasco/src/kern/ppc32/mapping-ppc32.cpp
index c0cdc54981eb028744f721d7eda1c4b9f9e3a904..e829af0589d5d1950a3fc3ae5cf5df35917857d4 100644 (file)
--- a/kernel/fiasco/src/kern/ppc32/mapping-ppc32.cpp
+++ b/kernel/fiasco/src/kern/ppc32/mapping-ppc32.cpp
@@ -14,7 +14,6 @@ public:
       unsigned long _space:32; ///< Address-space number
 //      unsigned long _pad:1;
       unsigned long address:20;        ///< Virtual address in address space
-      unsigned long tag:11;            ///< Unmap tag
     } __attribute__((packed)) data;
     Treemap *_submap;
   };