virt_get_pte
uint64_t *pte = virt_get_pte(vm, mmu, parent_pte, vaddr, current_level);
pte = virt_get_pte(vm, mmu, pte, vaddr, PG_LEVEL_4K);
pte = virt_get_pte(vm, mmu, pte, vaddr, current_level);
return virt_get_pte(vm, mmu, pte, vaddr, PG_LEVEL_4K);