virt_get_pte
u64 *pte = virt_get_pte(vm, mmu, parent_pte, gva, current_level);
pte = virt_get_pte(vm, mmu, pte, gva, PG_LEVEL_4K);
pte = virt_get_pte(vm, mmu, pte, gva, current_level);
return virt_get_pte(vm, mmu, pte, gva, PG_LEVEL_4K);