MAX_NUM_LEVEL
physaddr_t paddrs[MAX_NUM_LEVEL] = { 0, };
size_t entry[MAX_NUM_LEVEL] = { 0, };
x86pte_t ptp_bits[MAX_NUM_LEVEL]; /* bits set for interior PTP */
x86pte_t pte_bits[MAX_NUM_LEVEL]; /* bits set for leaf PTE */
uint_t level_shift[MAX_NUM_LEVEL]; /* PAGESHIFT for given level */
uintptr_t level_size[MAX_NUM_LEVEL]; /* PAGESIZE for given level */
uintptr_t level_offset[MAX_NUM_LEVEL]; /* PAGEOFFSET for given level */
uintptr_t level_mask[MAX_NUM_LEVEL]; /* PAGEMASK for given level */
hw_pagesize_t hw_page_array[MAX_NUM_LEVEL + 1];
static int xpv_panic_nptes[MAX_NUM_LEVEL];
static pfn_t ptable_pfn[MAX_NUM_LEVEL];