Update

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

diff --git a/kernel/fiasco/src/kern/ia32/32/paging-ia32-32.cpp b/kernel/fiasco/src/kern/ia32/32/paging-ia32-32.cpp
index e721a9cada62385a5bbd2acea8414e1c638ace63..146a001892f3783ae753544bf027dae7d5d9f26c 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/32/paging-ia32-32.cpp
+++ b/kernel/fiasco/src/kern/ia32/32/paging-ia32-32.cpp
@@ -36,7 +36,8 @@ public:
   Pte_ptr(void *pte, unsigned char level) : pte((Mword*)pte), level(level) {}
   Pte_ptr() = default;
 
-  Mword *pte;
+  typedef Mword Entry;
+  Entry *pte;
   unsigned char level;
 };