Functionsยง
- frame_
to_ index - group_
page_ meta - index_
to_ frame - lemma_
FRAME_ METADATA_ RANGE_ is_ large_ enough - lemma_
FRAME_ METADATA_ RANGE_ is_ page_ aligned - lemma_
frame_ to_ index_ injective - lemma_
frame_ to_ meta_ soundness - lemma_
meta_ to_ frame_ alignment - lemma_
meta_ to_ frame_ soundness - lemma_
meta_ to_ paddr_ biinjective - lemma_
paddr_ to_ meta_ biinjective - max_
meta_ slots - meta_
addr