diff options
Diffstat (limited to 'arch/x86')
| -rw-r--r-- | arch/x86/kvm/paging_tmpl.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/arch/x86/kvm/paging_tmpl.h b/arch/x86/kvm/paging_tmpl.h index f0746d27e33e..9c0afba1ab8e 100644 --- a/arch/x86/kvm/paging_tmpl.h +++ b/arch/x86/kvm/paging_tmpl.h | |||
| @@ -134,7 +134,7 @@ static int FNAME(walk_addr_generic)(struct guest_walker *walker, | |||
| 134 | 134 | ||
| 135 | trace_kvm_mmu_pagetable_walk(addr, write_fault, user_fault, | 135 | trace_kvm_mmu_pagetable_walk(addr, write_fault, user_fault, |
| 136 | fetch_fault); | 136 | fetch_fault); |
| 137 | walk: | 137 | retry_walk: |
| 138 | eperm = false; | 138 | eperm = false; |
| 139 | walker->level = mmu->root_level; | 139 | walker->level = mmu->root_level; |
| 140 | pte = mmu->get_cr3(vcpu); | 140 | pte = mmu->get_cr3(vcpu); |
| @@ -211,7 +211,7 @@ walk: | |||
| 211 | if (unlikely(ret < 0)) | 211 | if (unlikely(ret < 0)) |
| 212 | goto error; | 212 | goto error; |
| 213 | else if (ret) | 213 | else if (ret) |
| 214 | goto walk; | 214 | goto retry_walk; |
| 215 | 215 | ||
| 216 | mark_page_dirty(vcpu->kvm, table_gfn); | 216 | mark_page_dirty(vcpu->kvm, table_gfn); |
| 217 | pte |= PT_ACCESSED_MASK; | 217 | pte |= PT_ACCESSED_MASK; |
| @@ -277,7 +277,7 @@ walk: | |||
| 277 | if (unlikely(ret < 0)) | 277 | if (unlikely(ret < 0)) |
| 278 | goto error; | 278 | goto error; |
| 279 | else if (ret) | 279 | else if (ret) |
| 280 | goto walk; | 280 | goto retry_walk; |
| 281 | 281 | ||
| 282 | mark_page_dirty(vcpu->kvm, table_gfn); | 282 | mark_page_dirty(vcpu->kvm, table_gfn); |
| 283 | pte |= PT_DIRTY_MASK; | 283 | pte |= PT_DIRTY_MASK; |