vmm_gpt_walk
uint64_t vmm_gpt_walk(vmm_gpt_t *, uint64_t, vmm_gpt_entry_t **,
(void) vmm_gpt_walk(gpt, gpa, entries, LEVEL1);
iter->vgi_current = vmm_gpt_walk(gpt, addr, iter->vgi_entries, LEVEL1);
(void) vmm_gpt_walk(gpt, gpa, entries, LEVEL1);