virtual Addr index(Addr va, unsigned level) const =0
virtual Addr walkMask(unsigned level) const =0
virtual bool isWritable(pte_t pte, unsigned level, bool stage2) const =0
virtual unsigned lastLevel() const =0
virtual Addr nextLevelPointer(pte_t pte, unsigned level) const =0
virtual bool isValid(pte_t pte, unsigned level) const =0
virtual bool isLeaf(pte_t pte, unsigned level) const =0
Defines global host-dependent types: Counter, Tick, and (indirectly) {int,uint}{8,16,32,64}_t.
virtual Addr pageMask(pte_t pte, unsigned level) const =0
virtual unsigned firstLevel(uint8_t tsz) const =0