Module meta_owners

ostd::specs::mm::frame

Module meta_owners 

Source
Expand description

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

Enums§

MetaSlotStatus
PageState
PageUsage

Constants§

REF_COUNT_MAX
REF_COUNT_UNIQUE
REF_COUNT_UNUSED