Module arch 

Constants

MAX_NR_PAGES

MAX_PADDR

Parameterized maximum physical address.

NR_ENTRIES

The maximum number of entries in a page table node

NR_LEVELS

The maximum level of a page table node.

PAGE_SIZE

Page size.

Functions

has_safe_slot

lemma_linear_mapping_base_vaddr_properties

lemma_max_paddr_range

lemma_meta_frame_vaddr_properties

lemma_paddr_to_vaddr_properties

lemma_vaddr_to_paddr_properties

vaddr_to_paddr