Struct FrameEntryOwner 

pub struct FrameEntryOwner {
    pub mapped_pa: usize,
    pub size: usize,
    pub prop: PageProperty,
    pub is_tracked: bool,
}

Verification Design

The owner type for a page table leaf: a frame mapped in a node. Asterinas supports huge pages, so it is not necessarily at level 1.

• mapped_pa is the physical address of the mapped frame.
• size is the size of the mapping, which corresponds to the level of the parent page table. 4k at level 1, 2M at level 2, and 1G at level 3.
• prop is a bitfield tracking the properties of the page ([PageProperty])
• is_tracked refers to whether the frame is ref-counted (when true) or raw MMIO (when false).

Fields

mapped_pa: usize

size: usize

prop: PageProperty

is_tracked: bool