Update

[l4.git] / kernel / fiasco / src / kern / ptab_base.cpp

diff --git a/kernel/fiasco/src/kern/ptab_base.cpp b/kernel/fiasco/src/kern/ptab_base.cpp
index a6bb6c04f29fa67d56c5abc1fdff01a25c1d2b54..e65a32c324cacf44c982051522afa058d5d96f60 100644 (file)
--- a/kernel/fiasco/src/kern/ptab_base.cpp
+++ b/kernel/fiasco/src/kern/ptab_base.cpp
@@ -600,12 +600,6 @@ namespace Ptab
     static unsigned page_order_for_level(unsigned level)
     { return Levels::shift(level) + Base_shift; }
 
-    static unsigned entries_at_level(unsigned level)
-    { return Levels::length(level); }
-
-    static unsigned bits_for_level(unsigned level)
-    { return Levels::size(level); }
-
     template< typename _Alloc >
     PTE_PTR walk(Va virt, unsigned level, bool force_write_back, _Alloc const &alloc)
     { return _base.walk(_Addr::val(virt), level, force_write_back, alloc); }