|
@@ -3538,7 +3538,7 @@ static void reset_rsvds_bits_mask(struct kvm_vcpu *vcpu,
|
|
|
case PT32E_ROOT_LEVEL:
|
|
|
context->rsvd_bits_mask[0][2] =
|
|
|
rsvd_bits(maxphyaddr, 63) |
|
|
|
- rsvd_bits(7, 8) | rsvd_bits(1, 2); /* PDPTE */
|
|
|
+ rsvd_bits(5, 8) | rsvd_bits(1, 2); /* PDPTE */
|
|
|
context->rsvd_bits_mask[0][1] = exb_bit_rsvd |
|
|
|
rsvd_bits(maxphyaddr, 62); /* PDE */
|
|
|
context->rsvd_bits_mask[0][0] = exb_bit_rsvd |
|
|
@@ -3550,9 +3550,9 @@ static void reset_rsvds_bits_mask(struct kvm_vcpu *vcpu,
|
|
|
break;
|
|
|
case PT64_ROOT_LEVEL:
|
|
|
context->rsvd_bits_mask[0][3] = exb_bit_rsvd |
|
|
|
- rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8);
|
|
|
+ rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 7);
|
|
|
context->rsvd_bits_mask[0][2] = exb_bit_rsvd |
|
|
|
- rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 8);
|
|
|
+ rsvd_bits(maxphyaddr, 51) | rsvd_bits(7, 7);
|
|
|
context->rsvd_bits_mask[0][1] = exb_bit_rsvd |
|
|
|
rsvd_bits(maxphyaddr, 51);
|
|
|
context->rsvd_bits_mask[0][0] = exb_bit_rsvd |
|