Module page_table 

Re-exports

pub use cursor::*;

pub use node::*;

Modules

cursor

node

Structs

AbstractVaddr

Mapping

PageTableOwner

PageTableView

Constants

CONST_INC_LEVELS

The constant INC_LEVELS.

Functions

INC_LEVELS

INC_LEVELS_SPEC

rec_vaddr

vaddr

vaddr_make

vaddr_shift

vaddr_shift_bits

Type Aliases

OwnerSubtree

OwnerSubtree is a tree Node (from vstd_extra::ghost_tree) containing EntryOwners. It lives in a tree of maximum depth 5. Page table nodes can be at levels 0-3, and their entries are their children at the next level down. This means that level 4, the lowest level, can only contain frame entries as it consists of the entries of level 1 page tables.