|
@@ -213,7 +213,7 @@ static void FNAME(update_pte)(struct kvm_vcpu *vcpu, struct kvm_mmu_page *page,
|
|
|
if (~gpte & (PT_PRESENT_MASK | PT_ACCESSED_MASK))
|
|
|
return;
|
|
|
pgprintk("%s: gpte %llx spte %p\n", __FUNCTION__, (u64)gpte, spte);
|
|
|
- FNAME(set_pte)(vcpu, gpte, spte, 6,
|
|
|
+ FNAME(set_pte)(vcpu, gpte, spte, PT_USER_MASK | PT_WRITABLE_MASK,
|
|
|
(gpte & PT_BASE_ADDR_MASK) >> PAGE_SHIFT);
|
|
|
}
|
|
|
|