Module kspace 

Constants

FRAME_METADATA_RANGE

Kernel virtual address range for storing the page frame metadata.

Functions

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