@@ -134,7 +134,7 @@ static int FNAME(walk_addr_generic)(struct guest_walker *walker,
trace_kvm_mmu_pagetable_walk(addr, write_fault, user_fault,
fetch_fault);
-walk:
+retry_walk:
eperm = false;
walker->level = mmu->root_level;
pte = mmu->get_cr3(vcpu);
@@ -222,7 +222,7 @@ walk:
errcode |= PFERR_PRESENT_MASK;
goto error;
} else if (ret)
- goto walk;
+ goto retry_walk;
mark_page_dirty(vcpu->kvm, table_gfn);
pte |= PT_ACCESSED_MASK;
@@ -287,7 +287,7 @@ walk:
errcode |= PFERR_PRESENT_MASK;
goto error;
} else if (ret)
- goto walk;
+ goto retry_walk;
mark_page_dirty(vcpu->kvm, table_gfn);
pte |= PT_DIRTY_MASK;