diff options
-rw-r--r-- | drivers/kvm/mmu.c | 1 | ||||
-rw-r--r-- | drivers/kvm/paging_tmpl.h | 2 |
2 files changed, 0 insertions, 3 deletions
diff --git a/drivers/kvm/mmu.c b/drivers/kvm/mmu.c index 986d01294f3b..283df031b03d 100644 --- a/drivers/kvm/mmu.c +++ b/drivers/kvm/mmu.c | |||
@@ -94,7 +94,6 @@ static int dbg = 1; | |||
94 | #define PT_FIRST_AVAIL_BITS_SHIFT 9 | 94 | #define PT_FIRST_AVAIL_BITS_SHIFT 9 |
95 | #define PT64_SECOND_AVAIL_BITS_SHIFT 52 | 95 | #define PT64_SECOND_AVAIL_BITS_SHIFT 52 |
96 | 96 | ||
97 | #define PT_SHADOW_PS_MARK (1ULL << PT_FIRST_AVAIL_BITS_SHIFT) | ||
98 | #define PT_SHADOW_IO_MARK (1ULL << PT_FIRST_AVAIL_BITS_SHIFT) | 97 | #define PT_SHADOW_IO_MARK (1ULL << PT_FIRST_AVAIL_BITS_SHIFT) |
99 | 98 | ||
100 | #define VALID_PAGE(x) ((x) != INVALID_PAGE) | 99 | #define VALID_PAGE(x) ((x) != INVALID_PAGE) |
diff --git a/drivers/kvm/paging_tmpl.h b/drivers/kvm/paging_tmpl.h index adc1206cf659..a7c5cb0319ea 100644 --- a/drivers/kvm/paging_tmpl.h +++ b/drivers/kvm/paging_tmpl.h | |||
@@ -384,8 +384,6 @@ static u64 *FNAME(fetch)(struct kvm_vcpu *vcpu, gva_t addr, | |||
384 | } | 384 | } |
385 | 385 | ||
386 | if (walker->level == PT_DIRECTORY_LEVEL) { | 386 | if (walker->level == PT_DIRECTORY_LEVEL) { |
387 | if (prev_shadow_ent) | ||
388 | *prev_shadow_ent |= PT_SHADOW_PS_MARK; | ||
389 | FNAME(set_pde)(vcpu, guest_ent, shadow_ent, | 387 | FNAME(set_pde)(vcpu, guest_ent, shadow_ent, |
390 | walker->inherited_ar, user_fault, write_fault, | 388 | walker->inherited_ar, user_fault, write_fault, |
391 | ptwrite, walker, walker->gfn); | 389 | ptwrite, walker, walker->gfn); |