|
@@ -444,6 +444,7 @@ static int FNAME(page_fault)(struct kvm_vcpu *vcpu, gva_t addr,
|
|
|
kvm_mmu_free_some_pages(vcpu);
|
|
|
sptep = FNAME(fetch)(vcpu, addr, &walker, user_fault, write_fault,
|
|
|
level, &write_pt, pfn);
|
|
|
+ (void)sptep;
|
|
|
pgprintk("%s: shadow pte %p %llx ptwrite %d\n", __func__,
|
|
|
sptep, *sptep, write_pt);
|
|
|
|