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::linked_list::StoredLink
• mm::frame::meta::MetaPageMeta
• mm::frame::meta::MetaSlot
• mm::frame::meta::StoredPageTablePageMeta
• mm::frame::segment::Segment
• mm::frame::segment::SegmentOwner
• mm::frame::unique::UniqueFrame
• mm::frame::unique::UniqueFrameModel
• mm::frame::unique::UniqueFrameOwner
• 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::VmIoPermission
• mm::vm_space::VmSpace
• mm::vm_space::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::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::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_region_owners::MetaRegion
• specs::mm::frame::meta_region_owners::MetaRegionModel
• specs::mm::frame::meta_region_owners::MetaRegionOwners
• 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::virt_mem::FrameContents
• specs::mm::virt_mem::MemView
• specs::mm::virt_mem::VirtPtr
• 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::SpinLock
• task::Task

Enums

• boot::memory_region::MemoryRegionType
• error::Error
• mm::frame::meta::GetFrameError
• mm::frame::meta::MetaSlotStorage
• 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::PageState
• specs::mm::frame::meta_owners::PageUsage
• specs::mm::page_table::node::entry_view::EntryView
• sync::LocalIrqDisabled
• 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

Functions

• mm::MAX_NR_PAGES
• mm::MAX_PADDR
• mm::MAX_USERSPACE_VADDR
• mm::MAX_USERSPACE_VADDR_SPEC
• mm::NR_ENTRIES
• mm::NR_LEVELS
• mm::PAGE_SIZE
• mm::frame::meta::get_slot
• mm::frame::meta::get_slot_spec
• mm::frame::meta::lemma_meta_slot_size
• mm::frame::meta::mapping::META_SLOT_SIZE
• mm::frame::meta::mapping::META_SLOT_SIZE_SPEC
• 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::FRAME_METADATA_BASE_VADDR
• mm::kspace::FRAME_METADATA_BASE_VADDR_SPEC
• mm::kspace::FRAME_METADATA_CAP_VADDR
• mm::kspace::FRAME_METADATA_CAP_VADDR_SPEC
• mm::kspace::LINEAR_MAPPING_BASE_VADDR
• mm::kspace::LINEAR_MAPPING_BASE_VADDR_SPEC
• mm::kspace::LINEAR_MAPPING_VADDR_RANGE
• mm::kspace::LINEAR_MAPPING_VADDR_RANGE_SPEC
• mm::kspace::VMALLOC_BASE_VADDR
• mm::kspace::VMALLOC_BASE_VADDR_SPEC
• mm::kspace::VMALLOC_VADDR_RANGE
• mm::kspace::VMALLOC_VADDR_RANGE_SPEC
• 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::ADDR_WIDTH_SHIFT
• specs::arch::ADDR_WIDTH_SHIFT_SPEC
• specs::arch::FRAME_METADATA_BASE_VADDR
• specs::arch::FRAME_METADATA_BASE_VADDR_SPEC
• specs::arch::FRAME_METADATA_CAP_VADDR
• specs::arch::FRAME_METADATA_CAP_VADDR_SPEC
• specs::arch::FRAME_METADATA_RANGE
• specs::arch::FRAME_METADATA_RANGE_SPEC
• specs::arch::KERNEL_BASE_VADDR
• specs::arch::KERNEL_BASE_VADDR_SPEC
• specs::arch::KERNEL_END_VADDR
• specs::arch::KERNEL_END_VADDR_SPEC
• specs::arch::KERNEL_VADDR_RANGE
• specs::arch::KERNEL_VADDR_RANGE_SPEC
• specs::arch::LINEAR_MAPPING_BASE_VADDR
• specs::arch::LINEAR_MAPPING_BASE_VADDR_SPEC
• specs::arch::LINEAR_MAPPING_VADDR_RANGE
• specs::arch::LINEAR_MAPPING_VADDR_RANGE_SPEC
• specs::arch::MAX_NR_PAGES
• specs::arch::MAX_NR_PAGES_SPEC
• specs::arch::MAX_PADDR
• specs::arch::MAX_PADDR_SPEC
• specs::arch::MAX_USERSPACE_VADDR
• specs::arch::MAX_USERSPACE_VADDR_SPEC
• specs::arch::NR_ENTRIES
• specs::arch::NR_ENTRIES_SPEC
• specs::arch::NR_LEVELS
• specs::arch::NR_LEVELS_SPEC
• specs::arch::PAGE_SIZE
• specs::arch::PAGE_SIZE_SPEC
• specs::arch::PHYS_ADDR_MASK
• specs::arch::PHYS_ADDR_MASK_SPEC
• specs::arch::VMALLOC_BASE_VADDR
• specs::arch::VMALLOC_BASE_VADDR_SPEC
• specs::arch::activate_page_table
• specs::arch::current_page_table_paddr
• specs::arch::current_page_table_paddr_spec
• specs::arch::kspace::ADDR_WIDTH_SHIFT
• specs::arch::kspace::ADDR_WIDTH_SHIFT_SPEC
• specs::arch::kspace::FRAME_METADATA_BASE_VADDR
• specs::arch::kspace::FRAME_METADATA_BASE_VADDR_SPEC
• specs::arch::kspace::FRAME_METADATA_CAP_VADDR
• specs::arch::kspace::FRAME_METADATA_CAP_VADDR_SPEC
• specs::arch::kspace::FRAME_METADATA_RANGE
• specs::arch::kspace::FRAME_METADATA_RANGE_SPEC
• specs::arch::kspace::KERNEL_BASE_VADDR
• specs::arch::kspace::KERNEL_BASE_VADDR_SPEC
• specs::arch::kspace::KERNEL_END_VADDR
• specs::arch::kspace::KERNEL_END_VADDR_SPEC
• specs::arch::kspace::LINEAR_MAPPING_BASE_VADDR
• specs::arch::kspace::LINEAR_MAPPING_BASE_VADDR_SPEC
• specs::arch::kspace::LINEAR_MAPPING_VADDR_RANGE
• specs::arch::kspace::LINEAR_MAPPING_VADDR_RANGE_SPEC
• specs::arch::kspace::VMALLOC_BASE_VADDR
• specs::arch::kspace::VMALLOC_BASE_VADDR_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_paddr_to_vaddr_properties
• specs::arch::lemma_vaddr_to_paddr_properties
• specs::arch::mm::KERNEL_VADDR_RANGE
• specs::arch::mm::KERNEL_VADDR_RANGE_SPEC
• specs::arch::mm::MAX_NR_PAGES
• specs::arch::mm::MAX_NR_PAGES_SPEC
• specs::arch::mm::MAX_PADDR
• specs::arch::mm::MAX_PADDR_SPEC
• specs::arch::mm::MAX_USERSPACE_VADDR
• specs::arch::mm::MAX_USERSPACE_VADDR_SPEC
• specs::arch::mm::NR_ENTRIES
• specs::arch::mm::NR_ENTRIES_SPEC
• specs::arch::mm::NR_LEVELS
• specs::arch::mm::NR_LEVELS_SPEC
• specs::arch::mm::PAGE_SIZE
• specs::arch::mm::PAGE_SIZE_SPEC
• 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::page_table_entry::PHYS_ADDR_MASK
• specs::arch::page_table_entry::PHYS_ADDR_MASK_SPEC
• 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::META_SLOT_SIZE
• specs::mm::frame::mapping::META_SLOT_SIZE_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::INC_LEVELS
• specs::mm::page_table::INC_LEVELS_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::vaddr
• specs::mm::page_table::vaddr_make
• specs::mm::page_table::vaddr_shift
• specs::mm::page_table::vaddr_shift_bits

Type Aliases

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

Constants

• boot::memory_region::MAX_REGIONS
• mm::CONST_MAX_USERSPACE_VADDR
• mm::KERNEL_VADDR_RANGE
• mm::MAX_NR_LEVELS
• mm::frame::meta::FRAME_METADATA_MAX_ALIGN
• mm::frame::meta::FRAME_METADATA_MAX_SIZE
• mm::frame::meta::REF_COUNT_MAX
• mm::frame::meta::REF_COUNT_UNIQUE
• mm::frame::meta::REF_COUNT_UNUSED
• mm::frame::meta::mapping::CONST_META_SLOT_SIZE
• mm::kspace::ADDR_WIDTH_SHIFT
• mm::kspace::CONST_FRAME_METADATA_BASE_VADDR
• mm::kspace::CONST_FRAME_METADATA_CAP_VADDR
• mm::kspace::CONST_LINEAR_MAPPING_BASE_VADDR
• mm::kspace::CONST_LINEAR_MAPPING_VADDR_RANGE
• mm::kspace::CONST_VMALLOC_BASE_VADDR
• mm::kspace::CONST_VMALLOC_VADDR_RANGE
• mm::kspace::KERNEL_BASE_VADDR
• mm::kspace::KERNEL_CODE_BASE_VADDR
• mm::kspace::KERNEL_END_VADDR
• specs::arch::CONST_ADDR_WIDTH_SHIFT
• specs::arch::CONST_FRAME_METADATA_BASE_VADDR
• specs::arch::CONST_FRAME_METADATA_CAP_VADDR
• specs::arch::CONST_FRAME_METADATA_RANGE
• specs::arch::CONST_KERNEL_BASE_VADDR
• specs::arch::CONST_KERNEL_END_VADDR
• specs::arch::CONST_KERNEL_VADDR_RANGE
• specs::arch::CONST_LINEAR_MAPPING_BASE_VADDR
• specs::arch::CONST_LINEAR_MAPPING_VADDR_RANGE
• specs::arch::CONST_MAX_NR_PAGES
• specs::arch::CONST_MAX_PADDR
• specs::arch::CONST_MAX_USERSPACE_VADDR
• specs::arch::CONST_NR_ENTRIES
• specs::arch::CONST_NR_LEVELS
• specs::arch::CONST_PAGE_SIZE
• specs::arch::CONST_PHYS_ADDR_MASK
• specs::arch::CONST_VMALLOC_BASE_VADDR
• 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::kspace::CONST_ADDR_WIDTH_SHIFT
• specs::arch::kspace::CONST_FRAME_METADATA_BASE_VADDR
• specs::arch::kspace::CONST_FRAME_METADATA_CAP_VADDR
• specs::arch::kspace::CONST_FRAME_METADATA_RANGE
• specs::arch::kspace::CONST_KERNEL_BASE_VADDR
• specs::arch::kspace::CONST_KERNEL_END_VADDR
• specs::arch::kspace::CONST_LINEAR_MAPPING_BASE_VADDR
• specs::arch::kspace::CONST_LINEAR_MAPPING_VADDR_RANGE
• specs::arch::kspace::CONST_VMALLOC_BASE_VADDR
• specs::arch::mm::CONST_KERNEL_VADDR_RANGE
• specs::arch::mm::CONST_MAX_NR_PAGES
• specs::arch::mm::CONST_MAX_PADDR
• specs::arch::mm::CONST_MAX_USERSPACE_VADDR
• specs::arch::mm::CONST_NR_ENTRIES
• specs::arch::mm::CONST_NR_LEVELS
• specs::arch::mm::CONST_PAGE_SIZE
• specs::arch::page_table_entry::CONST_PHYS_ADDR_MASK
• 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::mm::frame::mapping::CONST_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::CONST_INC_LEVELS