|
@@ -1870,6 +1870,8 @@ static void mmu_set_spte(struct kvm_vcpu *vcpu, u64 *sptep,
|
|
|
|
|
|
child = page_header(pte & PT64_BASE_ADDR_MASK);
|
|
|
mmu_page_remove_parent_pte(child, sptep);
|
|
|
+ __set_spte(sptep, shadow_trap_nonpresent_pte);
|
|
|
+ kvm_flush_remote_tlbs(vcpu->kvm);
|
|
|
} else if (pfn != spte_to_pfn(*sptep)) {
|
|
|
pgprintk("hfn old %lx new %lx\n",
|
|
|
spte_to_pfn(*sptep), pfn);
|