ostd/specs/mm/
mod.rs

1pub mod cpu;
2pub mod frame;
3pub mod page_table;
4pub mod virt_mem;
5pub mod virt_mem_newer;
6
7use vstd::prelude::*;
8
9use crate::specs::mm::frame::meta_region_owners::MetaRegionOwners;
10use crate::specs::mm::page_table::{Guards, PageTableOwner};
11use crate::specs::mm::virt_mem_newer::FrameContents;
12use crate::mm::vm_space::UserPtConfig;
13use crate::mm::{Paddr, Vaddr};
14
15verus! {
16
17pub tracked struct GlobalMemOwner<'rcu> {
18    pub regions: MetaRegionOwners,
19    pub guards: Guards<'rcu, UserPtConfig>,
20    pub pt: PageTableOwner<UserPtConfig>,
21    pub memory: Map<Paddr, FrameContents>,
22}
23
24} // verus!
ostd/specs/mm/mod.rs

ostd/specs/mm/
mod.rs
