The current name does not explain the meaning well.  So give it a better
name "retry_walk" to show that we are trying the walk again.
This was suggested by Ingo Molnar.
Cc: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Takuya Yoshikawa <yoshikawa.takuya@oss.ntt.co.jp>
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
 
        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);
                        if (unlikely(ret < 0))
                                goto error;
                        else if (ret)
-                               goto walk;
+                               goto retry_walk;
 
                        mark_page_dirty(vcpu->kvm, table_gfn);
                        pte |= PT_ACCESSED_MASK;
                if (unlikely(ret < 0))
                        goto error;
                else if (ret)
-                       goto walk;
+                       goto retry_walk;
 
                mark_page_dirty(vcpu->kvm, table_gfn);
                pte |= PT_DIRTY_MASK;