Expand description

x86_64 constants

Constants

Number of demand map pages

L1 Mask

Number of L1 pagetable entries

L1 page shift

L1 page flags

L1 page flags read-only

Number of L2 pagetable entries

L2 page shift

L2 page flags

Number of L3 pagetable entries

L3 page shift

L3 page flags

Number of L4 pagetable entries

L4 page shift

L4 page flags

Maximum amount of memory available on x86_64

Width of physical address in bits

Physical address mask

Number of pagetable levels

Page mask

Page shift

Size of a page in bytes

Make pt_pfn a new ‘level’ page table frame and hook it into the page table at offset in previous level MFN (pref_l_mfn). pt_pfn is a guest PFN.

Width of virtual address in bits

Virtual address mask

Address of virtual demand mapped area