Module meta_owners 

The model of a metadata slot. It includes:

• The model of the metadata slot: MetaSlotModel.
• The invariants for both MetaSlot and MetaSlotModel.
• The primitives for MetaSlot.

Structs

MetaSlotModel

MetaSlotOwner

Metadata

MetadataInnerPerms

StoredPageTablePageMeta

Enums

MetaSlotStatus

MetaSlotStorage

PageState

PageUsage

Constants

REF_COUNT_MAX

REF_COUNT_UNIQUE

REF_COUNT_UNUSED

Functions

axiom_mmio_paddr_huge_page_closed

axiom_mmio_usage_iff_mmio_paddr

is_mmio_paddr

meta_slot_eq_by_ids

meta_slot_from_perm

meta_slot_from_perm_ids

perm_u64_with

perm_u64_with_identity

perm_u64_with_value

pptr_usize_with

pptr_usize_with_identity

pptr_usize_with_value

Type Aliases

MetaPerm

A permission token for frame metadata.