vmm_gpt_node_level_t
vmm_gpt_node_level_t);
for (vmm_gpt_node_level_t lvl = LEVEL1; lvl > LEVEL4; lvl--) {
vmm_gpt_lvl_index(vmm_gpt_node_level_t level, uint64_t gpa)
vmm_gpt_lvl_mask(vmm_gpt_node_level_t level)
vmm_gpt_lvl_len(vmm_gpt_node_level_t level)
vmm_gpt_node_level_t depth)
vmm_gpt_node_level_t depth)
const vmm_gpt_node_level_t lvl = node_start->vgn_level;
for (vmm_gpt_node_level_t lvl = LEVEL4; lvl < LEVEL1; lvl++) {