Module mm 

Virtual memory (VM).

Modules

frame

Frame (physical memory page) management.

io

Abstractions for reading and writing virtual memory (VM) objects.

kspace

Kernel memory space management.

page_table

pod

tlb

TLB flush operations.

vm_space

Virtual memory space management.

Constants

KERNEL_VADDR_RANGE

The kernel address space.

MAX_NR_LEVELS

The maximum value of PagingConstsTrait::NR_LEVELS.

MAX_NR_PAGES

MAX_PADDR

Parameterized maximum physical address.

MAX_USERSPACE_VADDR

The maximum virtual address of user space (non inclusive).

NR_ENTRIES

The maximum number of entries in a page table node

NR_LEVELS

The maximum level of a page table node.

Traits

HasPaddr

Gets physical address trait

PagingConstsTrait

Functions

is_page_aligned

lemma_nr_subpage_per_huge_bounded

nr_subpage_per_huge

nr_subpage_per_huge_spec

Type Aliases

Paddr

Physical addresses.

PagingLevel

The level of a page table node or a frame.

Vaddr

Virtual addresses.