List of all items

Structs

• boot::memory_region::MemoryRegion
• boot::memory_region::MemoryRegionArray
• mm::PagingConsts
• mm::frame::Frame
• mm::frame::FrameRef
• mm::frame::allocator::FrameAllocOptions
• mm::frame::linked_list::CursorMut
• mm::frame::linked_list::Link
• mm::frame::linked_list::LinkedList
• mm::frame::meta::MetaPageMeta
• mm::frame::meta::MetaSlot
• mm::frame::segment::Segment
• mm::frame::segment::SegmentOwner
• mm::frame::unique::UniqueFrame
• mm::io::VmIoOwner
• mm::io::VmReader
• mm::io::VmWriter
• mm::page_table::Entry
• mm::page_table::PageTable
• mm::page_table::PageTableGuard
• mm::page_table::PageTablePageMeta
• mm::tlb::TlbFlusher
• mm::vm_space::Cursor
• mm::vm_space::CursorMut
• mm::vm_space::MappedItem
• mm::vm_space::UserPtConfig
• mm::vm_space::VmSpace
• mm::vm_space::vm_space_specs::VmIoPermission
• mm::vm_space::vm_space_specs::VmSpaceOwner
• specs::arch::CpuExceptionInfo
• specs::arch::PageTableEntry
• specs::arch::PageTableFlags
• specs::arch::PagingConsts
• specs::arch::cpu::CpuExceptionInfo
• specs::arch::page_table_entry::PageTableEntry
• specs::arch::page_table_flags::PageTableFlags
• specs::arch::paging_consts::PagingConsts
• specs::mm::GlobalMemOwner
• specs::mm::cpu::AtomicCpuSet
• specs::mm::cpu::CpuId
• specs::mm::cpu::CpuSet
• specs::mm::frame::linked_list::linked_list_owners::CursorModel
• specs::mm::frame::linked_list::linked_list_owners::CursorOwner
• specs::mm::frame::linked_list::linked_list_owners::LinkInnerPerms
• specs::mm::frame::linked_list::linked_list_owners::LinkModel
• specs::mm::frame::linked_list::linked_list_owners::LinkOwner
• specs::mm::frame::linked_list::linked_list_owners::LinkedListModel
• specs::mm::frame::linked_list::linked_list_owners::LinkedListOwner
• specs::mm::frame::linked_list::linked_list_owners::MetaSlotSmall
• specs::mm::frame::linked_list::linked_list_owners::MetadataAsLink
• specs::mm::frame::linked_list::linked_list_owners::StoredLink
• specs::mm::frame::memory_region_specs::MemRegionModel
• specs::mm::frame::memory_region_specs::MemoryRegionArrayModel
• specs::mm::frame::meta_owners::MetaSlotModel
• specs::mm::frame::meta_owners::MetaSlotOwner
• specs::mm::frame::meta_owners::Metadata
• specs::mm::frame::meta_owners::MetadataInnerPerms
• specs::mm::frame::meta_owners::StoredPageTablePageMeta
• specs::mm::frame::meta_region_owners::MetaRegion
• specs::mm::frame::meta_region_owners::MetaRegionModel
• specs::mm::frame::meta_region_owners::MetaRegionOwners
• specs::mm::frame::unique::UniqueFrameModel
• specs::mm::frame::unique::UniqueFrameOwner
• specs::mm::page_table::AbstractVaddr
• specs::mm::page_table::Mapping
• specs::mm::page_table::PageTableOwner
• specs::mm::page_table::PageTableView
• specs::mm::page_table::cursor::owners::CursorContinuation
• specs::mm::page_table::cursor::owners::CursorOwner
• specs::mm::page_table::cursor::owners::CursorView
• specs::mm::page_table::node::Guards
• specs::mm::page_table::node::entry_owners::EntryOwner
• specs::mm::page_table::node::entry_owners::FrameEntryOwner
• specs::mm::page_table::node::entry_view::FrameView
• specs::mm::page_table::node::entry_view::IntermediatePageTableEntryView
• specs::mm::page_table::node::entry_view::LeafPageTableEntryView
• specs::mm::page_table::node::owners::NodeModel
• specs::mm::page_table::node::owners::NodeOwner
• specs::mm::page_table::node::owners::PageMetaModel
• specs::mm::page_table::node::owners::PageMetaOwner
• specs::mm::tlb::TlbModel
• specs::mm::virt_mem_newer::FrameContents
• specs::mm::virt_mem_newer::GlobalMemView
• specs::mm::virt_mem_newer::MemView
• specs::mm::virt_mem_newer::VirtPtr
• sync::RoArc
• sync::RwArc
• sync::RwLock
• sync::RwLockReadGuard
• sync::RwLockUpgradeableGuard
• sync::RwLockWriteGuard
• sync::SpinLock
• sync::SpinLockGuard
• sync::non_null::ArcRef
• sync::non_null::BoxRef
• task::DisabledPreemptGuard
• task::Task

Enums

• boot::memory_region::MemoryRegionType
• error::Error
• mm::frame::meta::GetFrameError
• mm::io::VmIoMemView
• mm::page_table::Child
• mm::page_table::ChildRef
• mm::page_table::PageTableError
• mm::tlb::TlbFlushOp
• specs::mm::frame::meta_owners::MetaSlotStatus
• specs::mm::frame::meta_owners::MetaSlotStorage
• specs::mm::frame::meta_owners::PageState
• specs::mm::frame::meta_owners::PageUsage
• specs::mm::page_table::node::entry_view::EntryView
• sync::LocalIrqDisabled
• sync::PreemptDisabled
• util::Either

Traits

• mm::HasPaddr
• mm::PagingConstsTrait
• mm::frame::meta::AnyFrameMeta
• mm::frame::untyped::AnyUFrameMeta
• mm::frame::untyped::UntypedMem
• mm::io::VmIo
• mm::io::VmIoOnce
• mm::page_table::PageTableConfig
• mm::page_table::PageTableEntryTrait
• mm::pod::Pod
• mm::pod::PodOnce
• specs::mm::cpu::PinCurrentCpu
• specs::task::InAtomicMode
• sync::GuardTransfer
• sync::SpinGuardian
• sync::non_null::NonNullPtr

Functions

• mm::frame::meta::get_slot_spec
• mm::frame::meta::has_safe_slot
• mm::frame::meta::lemma_meta_slot_size
• mm::frame::meta::mapping::frame_to_index
• mm::frame::meta::mapping::frame_to_index_spec
• mm::frame::meta::mapping::frame_to_meta
• mm::frame::meta::mapping::frame_to_meta_spec
• mm::frame::meta::mapping::group_page_meta
• mm::frame::meta::mapping::index_to_frame
• mm::frame::meta::mapping::index_to_frame_spec
• mm::frame::meta::mapping::lemma_FRAME_METADATA_RANGE_is_large_enough
• mm::frame::meta::mapping::lemma_FRAME_METADATA_RANGE_is_page_aligned
• mm::frame::meta::mapping::lemma_frame_to_meta_soundness
• mm::frame::meta::mapping::lemma_meta_to_frame_alignment
• mm::frame::meta::mapping::lemma_meta_to_frame_soundness
• mm::frame::meta::mapping::lemma_meta_to_paddr_biinjective
• mm::frame::meta::mapping::lemma_paddr_to_meta_biinjective
• mm::frame::meta::mapping::max_meta_slots
• mm::frame::meta::mapping::meta_addr
• mm::frame::meta::mapping::meta_to_frame
• mm::frame::meta::mapping::meta_to_frame_spec
• mm::frame::meta::meta_slot_size
• mm::frame::meta::size_of_meta_slot
• mm::io::rw_fallible
• mm::is_page_aligned
• mm::kspace::paddr_to_vaddr
• mm::kspace::paddr_to_vaddr_spec
• mm::lemma_nr_subpage_per_huge_bounded
• mm::nr_subpage_per_huge
• mm::nr_subpage_per_huge_spec
• mm::page_table::largest_pages
• mm::page_table::lemma_nr_pte_index_bits_bounded
• mm::page_table::load_pte
• mm::page_table::nr_pte_index_bits
• mm::page_table::nr_pte_index_bits_spec
• mm::page_table::store_pte
• specs::arch::activate_page_table
• specs::arch::current_page_table_paddr
• specs::arch::current_page_table_paddr_spec
• specs::arch::kspace::lemma_linear_mapping_base_vaddr_properties
• specs::arch::kspace::lemma_max_paddr_range
• specs::arch::kspace::lemma_meta_frame_vaddr_properties
• specs::arch::kspace::lemma_mod_0_add
• specs::arch::kspace::lemma_paddr_to_vaddr_properties
• specs::arch::kspace::lemma_vaddr_to_paddr_properties
• specs::arch::kspace::paddr_to_vaddr
• specs::arch::kspace::paddr_to_vaddr_spec
• specs::arch::kspace::vaddr_to_paddr
• specs::arch::kspace::vaddr_to_paddr_spec
• specs::arch::lemma_linear_mapping_base_vaddr_properties
• specs::arch::lemma_max_paddr_range
• specs::arch::lemma_meta_frame_vaddr_properties
• specs::arch::lemma_mod_0_add
• specs::arch::lemma_nr_subpage_per_huge_eq_nr_entries
• specs::arch::lemma_paddr_to_vaddr_properties
• specs::arch::lemma_vaddr_to_paddr_properties
• specs::arch::mm::activate_page_table
• specs::arch::mm::current_page_table_paddr
• specs::arch::mm::current_page_table_paddr_spec
• specs::arch::mm::tlb_flush_addr
• specs::arch::mm::tlb_flush_addr_range
• specs::arch::mm::tlb_flush_all_excluding_global
• specs::arch::mm::tlb_flush_all_including_global
• specs::arch::paddr_to_vaddr
• specs::arch::paddr_to_vaddr_spec
• specs::arch::paging_consts::lemma_nr_subpage_per_huge_eq_nr_entries
• specs::arch::tlb_flush_addr
• specs::arch::tlb_flush_addr_range
• specs::arch::tlb_flush_all_excluding_global
• specs::arch::tlb_flush_all_including_global
• specs::arch::vaddr_to_paddr
• specs::arch::vaddr_to_paddr_spec
• specs::mm::frame::mapping::frame_to_index
• specs::mm::frame::mapping::frame_to_index_spec
• specs::mm::frame::mapping::frame_to_meta
• specs::mm::frame::mapping::frame_to_meta_spec
• specs::mm::frame::mapping::group_page_meta
• specs::mm::frame::mapping::index_to_frame
• specs::mm::frame::mapping::index_to_frame_spec
• specs::mm::frame::mapping::lemma_FRAME_METADATA_RANGE_is_large_enough
• specs::mm::frame::mapping::lemma_FRAME_METADATA_RANGE_is_page_aligned
• specs::mm::frame::mapping::lemma_frame_to_meta_soundness
• specs::mm::frame::mapping::lemma_meta_to_frame_alignment
• specs::mm::frame::mapping::lemma_meta_to_frame_soundness
• specs::mm::frame::mapping::lemma_meta_to_paddr_biinjective
• specs::mm::frame::mapping::lemma_paddr_to_meta_biinjective
• specs::mm::frame::mapping::max_meta_slots
• specs::mm::frame::mapping::meta_addr
• specs::mm::frame::mapping::meta_to_frame
• specs::mm::frame::mapping::meta_to_frame_spec
• specs::mm::page_table::allocated_empty_node_owner
• specs::mm::page_table::cursor::cursor_steps::different_length_different_paths
• specs::mm::page_table::cursor::cursor_steps::push_tail_different_indices_different_paths
• specs::mm::page_table::cursor::cursor_steps::push_tail_increases_length
• specs::mm::page_table::node::drop_tree_spec
• specs::mm::page_table::node::entry_view::PHYSICAL_BASE_ADDRESS_SPEC
• specs::mm::page_table::node::entry_view::index_is_in_range
• specs::mm::page_table::node::entry_view::level_is_in_range
• specs::mm::page_table::node::entry_view::pa_is_valid_kernel_address
• specs::mm::page_table::node::entry_view::pa_is_valid_pt_address
• specs::mm::page_table::rec_vaddr
• specs::mm::page_table::sibling_paths_disjoint
• specs::mm::page_table::vaddr
• specs::mm::page_table::vaddr_make
• specs::mm::page_table::vaddr_shift
• specs::mm::page_table::vaddr_shift_bits
• sync::non_null::arc_raw_as_ref
• sync::non_null::arc_ref_as_raw
• sync::non_null::box_raw_as_ref
• sync::non_null::box_ref_as_raw
• task::disable_preempt

Type Aliases

• mm::Paddr
• mm::PagingLevel
• mm::Vaddr
• mm::frame::segment::USegment
• mm::frame::untyped::UFrame
• mm::page_table::PageTableNode
• mm::page_table::PageTableNodeRef
• specs::mm::frame::meta_owners::MetaPerm
• specs::mm::page_table::OwnerSubtree
• specs::mm::page_table::node::GuardPerm

Constants

• boot::memory_region::MAX_REGIONS
• mm::KERNEL_VADDR_RANGE
• mm::MAX_NR_LEVELS
• mm::MAX_NR_PAGES
• mm::MAX_PADDR
• mm::MAX_USERSPACE_VADDR
• mm::NR_ENTRIES
• mm::NR_LEVELS
• mm::frame::meta::REF_COUNT_MAX
• mm::frame::meta::REF_COUNT_UNIQUE
• mm::frame::meta::REF_COUNT_UNUSED
• mm::frame::meta::mapping::META_SLOT_SIZE
• mm::kspace::ADDR_WIDTH_SHIFT
• mm::kspace::FRAME_METADATA_BASE_VADDR
• mm::kspace::FRAME_METADATA_CAP_VADDR
• mm::kspace::KERNEL_BASE_VADDR
• mm::kspace::KERNEL_CODE_BASE_VADDR
• mm::kspace::KERNEL_END_VADDR
• mm::kspace::LINEAR_MAPPING_BASE_VADDR
• mm::kspace::LINEAR_MAPPING_VADDR_RANGE
• mm::kspace::VMALLOC_BASE_VADDR
• mm::kspace::VMALLOC_VADDR_RANGE
• specs::arch::FRAME_METADATA_RANGE
• specs::arch::KERNEL_VADDR_RANGE
• specs::arch::MAX_NR_PAGES
• specs::arch::MAX_PADDR
• specs::arch::MAX_USERSPACE_VADDR
• specs::arch::NR_ENTRIES
• specs::arch::NR_LEVELS
• specs::arch::PAGE_FLAG_MAPPING
• specs::arch::PAGE_FLAG_MAPPING_SPEC
• specs::arch::PAGE_INVERTED_FLAG_MAPPING
• specs::arch::PAGE_INVERTED_FLAG_MAPPING_SPEC
• specs::arch::PAGE_PRIV_MAPPING
• specs::arch::PAGE_PRIV_MAPPING_SPEC
• specs::arch::PAGE_SIZE
• specs::arch::PHYS_ADDR_MASK
• specs::arch::kspace::FRAME_METADATA_RANGE
• specs::arch::mm::KERNEL_VADDR_RANGE
• specs::arch::mm::MAX_NR_PAGES
• specs::arch::mm::MAX_PADDR
• specs::arch::mm::MAX_USERSPACE_VADDR
• specs::arch::mm::NR_ENTRIES
• specs::arch::mm::NR_LEVELS
• specs::arch::mm::PAGE_SIZE
• specs::arch::page_table_entry::PAGE_FLAG_MAPPING
• specs::arch::page_table_entry::PAGE_FLAG_MAPPING_SPEC
• specs::arch::page_table_entry::PAGE_INVERTED_FLAG_MAPPING
• specs::arch::page_table_entry::PAGE_INVERTED_FLAG_MAPPING_SPEC
• specs::arch::page_table_entry::PAGE_PRIV_MAPPING
• specs::arch::page_table_entry::PAGE_PRIV_MAPPING_SPEC
• specs::arch::page_table_entry::PHYS_ADDR_MASK
• specs::mm::frame::mapping::META_SLOT_SIZE
• specs::mm::frame::meta_owners::REF_COUNT_MAX
• specs::mm::frame::meta_owners::REF_COUNT_UNIQUE
• specs::mm::frame::meta_owners::REF_COUNT_UNUSED
• specs::mm::page_table::INC_LEVELS