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

Permissions that remain under the authority of MetaRegionOwners.

MetadataPerms

Permissions whose initialized contents belong to one installed metadata value.

StoredPageTablePageMeta

Enums

MetaSlotStatus

MetaSlotStorage

PageUsage

Functions

axiom_mmio_paddr_huge_page_closed

axiom_mmio_usage_iff_mmio_paddr

borrow_meta

borrow_meta_mut

is_mmio_paddr

typed_meta_value

typed_meta_wf

write_metadata_into_storage