diff options
Diffstat (limited to 'arch')
-rw-r--r-- | arch/x86/kvm/paging_tmpl.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/x86/kvm/paging_tmpl.h b/arch/x86/kvm/paging_tmpl.h index 1f7f5dd8306..9308be2d5c0 100644 --- a/arch/x86/kvm/paging_tmpl.h +++ b/arch/x86/kvm/paging_tmpl.h | |||
@@ -444,6 +444,7 @@ static int FNAME(page_fault)(struct kvm_vcpu *vcpu, gva_t addr, | |||
444 | kvm_mmu_free_some_pages(vcpu); | 444 | kvm_mmu_free_some_pages(vcpu); |
445 | sptep = FNAME(fetch)(vcpu, addr, &walker, user_fault, write_fault, | 445 | sptep = FNAME(fetch)(vcpu, addr, &walker, user_fault, write_fault, |
446 | level, &write_pt, pfn); | 446 | level, &write_pt, pfn); |
447 | (void)sptep; | ||
447 | pgprintk("%s: shadow pte %p %llx ptwrite %d\n", __func__, | 448 | pgprintk("%s: shadow pte %p %llx ptwrite %d\n", __func__, |
448 | sptep, *sptep, write_pt); | 449 | sptep, *sptep, write_pt); |
449 | 450 | ||