Module page_table

Module page_table 

Source

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.