LEVEL4
for (vmm_gpt_node_level_t lvl = LEVEL1; lvl > LEVEL4; lvl--) {
case LEVEL4: return ((gpa >> 39) & mask);
case LEVEL4: return (0xffffff8000000000ul); /* entries cover 512G */
case LEVEL4: return (0x8000000000ul); /* entries cover 512G */
ASSERT(node->vgn_level > LEVEL4);
ASSERT3U(node->vgn_level, >, LEVEL4);
for (uint_t lvl = LEVEL4; lvl <= depth; lvl++) {
for (lvl = depth; lvl >= LEVEL4; lvl--) {
if (lvl < LEVEL4) {
for (uint_t lvl = LEVEL4; lvl < LEVEL1; lvl++) {
[LEVEL4] = gpt->vgpt_root,
for (vmm_gpt_node_level_t lvl = LEVEL4; lvl < LEVEL1; lvl++) {