MAX_GPT_LEVEL
vmm_gpt_entry_t *vgi_entries[MAX_GPT_LEVEL];
vmm_gpt_entry_t *entries[MAX_GPT_LEVEL], pte;
ASSERT(level < MAX_GPT_LEVEL);
ASSERT(level < MAX_GPT_LEVEL);
ASSERT(level < MAX_GPT_LEVEL);
ASSERT3U(depth, <, MAX_GPT_LEVEL);
ASSERT3U(depth, <, MAX_GPT_LEVEL);
for (; lvl < MAX_GPT_LEVEL; lvl++) {
vmm_gpt_node_t *node, *starts[MAX_GPT_LEVEL] = {
uint64_t *entries[MAX_GPT_LEVEL], *leaf;