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_
LINEAR_ MAPPING_ BASE_ VADDR - The constant
LINEAR_MAPPING_BASE_VADDR. - CONST_
LINEAR_ MAPPING_ VADDR_ RANGE - The constant
LINEAR_MAPPING_VADDR_RANGE. - CONST_
VMALLOC_ BASE_ VADDR - The constant
VMALLOC_BASE_VADDR.
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 - LINEAR_
MAPPING_ BASE_ VADDR - LINEAR_
MAPPING_ BASE_ VADDR_ SPEC - LINEAR_
MAPPING_ VADDR_ RANGE - LINEAR_
MAPPING_ VADDR_ RANGE_ SPEC - VMALLOC_
BASE_ VADDR - VMALLOC_
BASE_ VADDR_ 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 - vaddr_
to_ paddr - vaddr_
to_ paddr_ spec