Module mm 

Modules

cpu

embedding

Deep embedding of the VmSpace and VmReader/VmWriter API.

frame

io

Specification and proof content for crate::mm::io.

page_table

tlb

virt_mem

Virtual-memory specification model used by VmSpace proofs.

Structs

GlobalMemOwner

Global memory invariants