|
@@ -2157,7 +2157,7 @@ static void reset_rsvds_bits_mask(struct kvm_vcpu *vcpu, int level)
|
|
|
else
|
|
|
/* 32 bits PSE 4MB page */
|
|
|
context->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);
|
|
|
- context->rsvd_bits_mask[1][0] = ~0ull;
|
|
|
+ context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[1][0];
|
|
|
break;
|
|
|
case PT32E_ROOT_LEVEL:
|
|
|
context->rsvd_bits_mask[0][2] =
|
|
@@ -2170,7 +2170,7 @@ static void reset_rsvds_bits_mask(struct kvm_vcpu *vcpu, int level)
|
|
|
context->rsvd_bits_mask[1][1] = exb_bit_rsvd |
|
|
|
rsvd_bits(maxphyaddr, 62) |
|
|
|
rsvd_bits(13, 20); /* large page */
|
|
|
- context->rsvd_bits_mask[1][0] = ~0ull;
|
|
|
+ context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[1][0];
|
|
|
break;
|
|
|
case PT64_ROOT_LEVEL:
|
|
|
context->rsvd_bits_mask[0][3] = exb_bit_rsvd |
|
|
@@ -2186,7 +2186,7 @@ static void reset_rsvds_bits_mask(struct kvm_vcpu *vcpu, int level)
|
|
|
context->rsvd_bits_mask[1][1] = exb_bit_rsvd |
|
|
|
rsvd_bits(maxphyaddr, 51) |
|
|
|
rsvd_bits(13, 20); /* large page */
|
|
|
- context->rsvd_bits_mask[1][0] = ~0ull;
|
|
|
+ context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[1][0];
|
|
|
break;
|
|
|
}
|
|
|
}
|