Modules§
Structs§
Constants§
- CONST_
ADDR_ WIDTH_ SHIFT - The constant
ADDR_WIDTH_SHIFT. The shortest supported address width is 39 bits. And the literal values are written for 48 bits address width. Adjust the values by arithmetic left shift. - CONST_
FRAME_ METADATA_ BASE_ VADDR - The constant
FRAME_METADATA_BASE_VADDR. - CONST_
FRAME_ METADATA_ CAP_ VADDR - The constant
FRAME_METADATA_CAP_VADDR. - CONST_
FRAME_ METADATA_ RANGE - The constant
FRAME_METADATA_RANGE. Kernel virtual address range for storing the page frame metadata. - CONST_
KERNEL_ BASE_ VADDR - The constant
KERNEL_BASE_VADDR. Start of the kernel address space. This is the lowest address of the x86-64’s high canonical addresses. - CONST_
KERNEL_ END_ VADDR - The constant
KERNEL_END_VADDR. End of the kernel address space (non inclusive). - CONST_
KERNEL_ VADDR_ RANGE - The constant
KERNEL_VADDR_RANGE. The kernel address space. There are the high canonical addresses defined in most 48-bit width architectures. - CONST_
LINEAR_ MAPPING_ BASE_ VADDR - The constant
LINEAR_MAPPING_BASE_VADDR. - CONST_
LINEAR_ MAPPING_ VADDR_ RANGE - The constant
LINEAR_MAPPING_VADDR_RANGE. - CONST_
MAX_ NR_ PAGES - The constant
MAX_NR_PAGES. - CONST_
MAX_ PADDR - The constant
MAX_PADDR. Parameterized maximum physical address. - CONST_
MAX_ USERSPACE_ VADDR - The constant
MAX_USERSPACE_VADDR. The maximum virtual address of user space (non inclusive). - CONST_
NR_ ENTRIES - The constant
NR_ENTRIES. The maximum number of entries in a page table node - CONST_
NR_ LEVELS - The constant
NR_LEVELS. The maximum level of a page table node. - CONST_
PAGE_ SIZE - The constant
PAGE_SIZE. Page size. - CONST_
PHYS_ ADDR_ MASK - The constant
PHYS_ADDR_MASK. Masks of the physical address. - CONST_
VMALLOC_ BASE_ VADDR - The constant
VMALLOC_BASE_VADDR. - PAGE_
FLAG_ MAPPING - PAGE_
FLAG_ MAPPING_ SPEC - PAGE_
INVERTED_ FLAG_ MAPPING - PAGE_
INVERTED_ FLAG_ MAPPING_ SPEC - PAGE_
PRIV_ MAPPING - PAGE_
PRIV_ MAPPING_ SPEC
Functions§
- ADDR_
WIDTH_ SHIFT - ADDR_
WIDTH_ SHIFT_ SPEC - FRAME_
METADATA_ BASE_ VADDR - FRAME_
METADATA_ BASE_ VADDR_ SPEC - FRAME_
METADATA_ CAP_ VADDR - FRAME_
METADATA_ CAP_ VADDR_ SPEC - FRAME_
METADATA_ RANGE - FRAME_
METADATA_ RANGE_ SPEC - KERNEL_
BASE_ VADDR - KERNEL_
BASE_ VADDR_ SPEC - KERNEL_
END_ VADDR - KERNEL_
END_ VADDR_ SPEC - KERNEL_
VADDR_ RANGE - KERNEL_
VADDR_ RANGE_ SPEC - LINEAR_
MAPPING_ BASE_ VADDR - LINEAR_
MAPPING_ BASE_ VADDR_ SPEC - LINEAR_
MAPPING_ VADDR_ RANGE - LINEAR_
MAPPING_ VADDR_ RANGE_ SPEC - MAX_
NR_ PAGES - MAX_
NR_ PAGES_ SPEC - MAX_
PADDR - MAX_
PADDR_ SPEC - MAX_
USERSPACE_ VADDR - MAX_
USERSPACE_ VADDR_ SPEC - NR_
ENTRIES - NR_
ENTRIES_ SPEC - NR_
LEVELS - NR_
LEVELS_ SPEC - PAGE_
SIZE - PAGE_
SIZE_ SPEC - PHYS_
ADDR_ MASK - PHYS_
ADDR_ MASK_ SPEC - VMALLOC_
BASE_ VADDR - VMALLOC_
BASE_ VADDR_ SPEC - activate_
page_ ⚠table - current_
page_ table_ paddr - current_
page_ table_ paddr_ spec - lemma_
linear_ mapping_ base_ vaddr_ properties - lemma_
max_ paddr_ range - lemma_
meta_ frame_ vaddr_ properties - lemma_
mod_ 0_ add - lemma_
paddr_ to_ vaddr_ properties - lemma_
vaddr_ to_ paddr_ properties - paddr_
to_ vaddr - paddr_
to_ vaddr_ spec - tlb_
flush_ addr - tlb_
flush_ addr_ range - tlb_
flush_ all_ excluding_ global - tlb_
flush_ all_ including_ global - vaddr_
to_ paddr - vaddr_
to_ paddr_ spec