Skip to content

Commit a0a64f5

Browse files
Xiao Guangrongbonzini
authored andcommitted
KVM: MMU: introduce rsvd_bits_validate
These two fields, rsvd_bits_mask and bad_mt_xwr, in "struct kvm_mmu" are used to check if reserved bits set on guest ptes, move them to a data struct so that the approach can be applied to check host shadow page table entries as well Signed-off-by: Xiao Guangrong <[email protected]> Signed-off-by: Paolo Bonzini <[email protected]>
1 parent d2b0f98 commit a0a64f5

File tree

3 files changed

+50
-36
lines changed

3 files changed

+50
-36
lines changed

arch/x86/include/asm/kvm_host.h

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -252,6 +252,11 @@ struct kvm_pio_request {
252252
int size;
253253
};
254254

255+
struct rsvd_bits_validate {
256+
u64 rsvd_bits_mask[2][4];
257+
u64 bad_mt_xwr;
258+
};
259+
255260
/*
256261
* x86 supports 3 paging modes (4-level 64-bit, 3-level 64-bit, and 2-level
257262
* 32-bit). The kvm_mmu structure abstracts the details of the current mmu
@@ -289,8 +294,7 @@ struct kvm_mmu {
289294

290295
u64 *pae_root;
291296
u64 *lm_root;
292-
u64 rsvd_bits_mask[2][4];
293-
u64 bad_mt_xwr;
297+
struct rsvd_bits_validate guest_rsvd_check;
294298

295299
/*
296300
* Bitmap: bit set = last pte in walk

arch/x86/kvm/mmu.c

Lines changed: 42 additions & 33 deletions
Original file line numberDiff line numberDiff line change
@@ -3548,10 +3548,11 @@ static inline bool is_last_gpte(struct kvm_mmu *mmu, unsigned level, unsigned gp
35483548

35493549
static bool is_rsvd_bits_set(struct kvm_mmu *mmu, u64 gpte, int level)
35503550
{
3551+
struct rsvd_bits_validate *rsvd_check = &mmu->guest_rsvd_check;
35513552
int bit7 = (gpte >> 7) & 1, low6 = gpte & 0x3f;
35523553

3553-
return (gpte & mmu->rsvd_bits_mask[bit7][level-1]) |
3554-
((mmu->bad_mt_xwr & (1ull << low6)) != 0);
3554+
return (gpte & rsvd_check->rsvd_bits_mask[bit7][level-1]) |
3555+
((rsvd_check->bad_mt_xwr & (1ull << low6)) != 0);
35553556
}
35563557

35573558
#define PTTYPE_EPT 18 /* arbitrary */
@@ -3570,12 +3571,13 @@ static bool is_rsvd_bits_set(struct kvm_mmu *mmu, u64 gpte, int level)
35703571
static void reset_rsvds_bits_mask(struct kvm_vcpu *vcpu,
35713572
struct kvm_mmu *context)
35723573
{
3574+
struct rsvd_bits_validate *rsvd_check = &context->guest_rsvd_check;
35733575
int maxphyaddr = cpuid_maxphyaddr(vcpu);
35743576
u64 exb_bit_rsvd = 0;
35753577
u64 gbpages_bit_rsvd = 0;
35763578
u64 nonleaf_bit8_rsvd = 0;
35773579

3578-
context->bad_mt_xwr = 0;
3580+
rsvd_check->bad_mt_xwr = 0;
35793581

35803582
if (!context->nx)
35813583
exb_bit_rsvd = rsvd_bits(63, 63);
@@ -3592,85 +3594,92 @@ static void reset_rsvds_bits_mask(struct kvm_vcpu *vcpu,
35923594
switch (context->root_level) {
35933595
case PT32_ROOT_LEVEL:
35943596
/* no rsvd bits for 2 level 4K page table entries */
3595-
context->rsvd_bits_mask[0][1] = 0;
3596-
context->rsvd_bits_mask[0][0] = 0;
3597-
context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[0][0];
3597+
rsvd_check->rsvd_bits_mask[0][1] = 0;
3598+
rsvd_check->rsvd_bits_mask[0][0] = 0;
3599+
rsvd_check->rsvd_bits_mask[1][0] =
3600+
rsvd_check->rsvd_bits_mask[0][0];
35983601

35993602
if (!is_pse(vcpu)) {
3600-
context->rsvd_bits_mask[1][1] = 0;
3603+
rsvd_check->rsvd_bits_mask[1][1] = 0;
36013604
break;
36023605
}
36033606

36043607
if (is_cpuid_PSE36())
36053608
/* 36bits PSE 4MB page */
3606-
context->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);
3609+
rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);
36073610
else
36083611
/* 32 bits PSE 4MB page */
3609-
context->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);
3612+
rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);
36103613
break;
36113614
case PT32E_ROOT_LEVEL:
3612-
context->rsvd_bits_mask[0][2] =
3615+
rsvd_check->rsvd_bits_mask[0][2] =
36133616
rsvd_bits(maxphyaddr, 63) |
36143617
rsvd_bits(5, 8) | rsvd_bits(1, 2); /* PDPTE */
3615-
context->rsvd_bits_mask[0][1] = exb_bit_rsvd |
3618+
rsvd_check->rsvd_bits_mask[0][1] = exb_bit_rsvd |
36163619
rsvd_bits(maxphyaddr, 62); /* PDE */
3617-
context->rsvd_bits_mask[0][0] = exb_bit_rsvd |
3620+
rsvd_check->rsvd_bits_mask[0][0] = exb_bit_rsvd |
36183621
rsvd_bits(maxphyaddr, 62); /* PTE */
3619-
context->rsvd_bits_mask[1][1] = exb_bit_rsvd |
3622+
rsvd_check->rsvd_bits_mask[1][1] = exb_bit_rsvd |
36203623
rsvd_bits(maxphyaddr, 62) |
36213624
rsvd_bits(13, 20); /* large page */
3622-
context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[0][0];
3625+
rsvd_check->rsvd_bits_mask[1][0] =
3626+
rsvd_check->rsvd_bits_mask[0][0];
36233627
break;
36243628
case PT64_ROOT_LEVEL:
3625-
context->rsvd_bits_mask[0][3] = exb_bit_rsvd |
3626-
nonleaf_bit8_rsvd | rsvd_bits(7, 7) | rsvd_bits(maxphyaddr, 51);
3627-
context->rsvd_bits_mask[0][2] = exb_bit_rsvd |
3628-
nonleaf_bit8_rsvd | gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51);
3629-
context->rsvd_bits_mask[0][1] = exb_bit_rsvd |
3629+
rsvd_check->rsvd_bits_mask[0][3] = exb_bit_rsvd |
3630+
nonleaf_bit8_rsvd | rsvd_bits(7, 7) |
36303631
rsvd_bits(maxphyaddr, 51);
3631-
context->rsvd_bits_mask[0][0] = exb_bit_rsvd |
3632+
rsvd_check->rsvd_bits_mask[0][2] = exb_bit_rsvd |
3633+
nonleaf_bit8_rsvd | gbpages_bit_rsvd |
36323634
rsvd_bits(maxphyaddr, 51);
3633-
context->rsvd_bits_mask[1][3] = context->rsvd_bits_mask[0][3];
3634-
context->rsvd_bits_mask[1][2] = exb_bit_rsvd |
3635+
rsvd_check->rsvd_bits_mask[0][1] = exb_bit_rsvd |
3636+
rsvd_bits(maxphyaddr, 51);
3637+
rsvd_check->rsvd_bits_mask[0][0] = exb_bit_rsvd |
3638+
rsvd_bits(maxphyaddr, 51);
3639+
rsvd_check->rsvd_bits_mask[1][3] =
3640+
rsvd_check->rsvd_bits_mask[0][3];
3641+
rsvd_check->rsvd_bits_mask[1][2] = exb_bit_rsvd |
36353642
gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51) |
36363643
rsvd_bits(13, 29);
3637-
context->rsvd_bits_mask[1][1] = exb_bit_rsvd |
3644+
rsvd_check->rsvd_bits_mask[1][1] = exb_bit_rsvd |
36383645
rsvd_bits(maxphyaddr, 51) |
36393646
rsvd_bits(13, 20); /* large page */
3640-
context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[0][0];
3647+
rsvd_check->rsvd_bits_mask[1][0] =
3648+
rsvd_check->rsvd_bits_mask[0][0];
36413649
break;
36423650
}
36433651
}
36443652

36453653
static void reset_rsvds_bits_mask_ept(struct kvm_vcpu *vcpu,
36463654
struct kvm_mmu *context, bool execonly)
36473655
{
3656+
struct rsvd_bits_validate *rsvd_check = &context->guest_rsvd_check;
36483657
int maxphyaddr = cpuid_maxphyaddr(vcpu);
36493658
int pte;
36503659

3651-
context->rsvd_bits_mask[0][3] =
3660+
rsvd_check->rsvd_bits_mask[0][3] =
36523661
rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 7);
3653-
context->rsvd_bits_mask[0][2] =
3662+
rsvd_check->rsvd_bits_mask[0][2] =
36543663
rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6);
3655-
context->rsvd_bits_mask[0][1] =
3664+
rsvd_check->rsvd_bits_mask[0][1] =
36563665
rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6);
3657-
context->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51);
3666+
rsvd_check->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51);
36583667

36593668
/* large page */
3660-
context->rsvd_bits_mask[1][3] = context->rsvd_bits_mask[0][3];
3661-
context->rsvd_bits_mask[1][2] =
3669+
rsvd_check->rsvd_bits_mask[1][3] = rsvd_check->rsvd_bits_mask[0][3];
3670+
rsvd_check->rsvd_bits_mask[1][2] =
36623671
rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 29);
3663-
context->rsvd_bits_mask[1][1] =
3672+
rsvd_check->rsvd_bits_mask[1][1] =
36643673
rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 20);
3665-
context->rsvd_bits_mask[1][0] = context->rsvd_bits_mask[0][0];
3674+
rsvd_check->rsvd_bits_mask[1][0] = rsvd_check->rsvd_bits_mask[0][0];
36663675

36673676
for (pte = 0; pte < 64; pte++) {
36683677
int rwx_bits = pte & 7;
36693678
int mt = pte >> 3;
36703679
if (mt == 0x2 || mt == 0x3 || mt == 0x7 ||
36713680
rwx_bits == 0x2 || rwx_bits == 0x6 ||
36723681
(rwx_bits == 0x4 && !execonly))
3673-
context->bad_mt_xwr |= (1ull << pte);
3682+
rsvd_check->bad_mt_xwr |= (1ull << pte);
36743683
}
36753684
}
36763685

arch/x86/kvm/x86.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -525,7 +525,8 @@ int load_pdptrs(struct kvm_vcpu *vcpu, struct kvm_mmu *mmu, unsigned long cr3)
525525
}
526526
for (i = 0; i < ARRAY_SIZE(pdpte); ++i) {
527527
if (is_present_gpte(pdpte[i]) &&
528-
(pdpte[i] & vcpu->arch.mmu.rsvd_bits_mask[0][2])) {
528+
(pdpte[i] &
529+
vcpu->arch.mmu.guest_rsvd_check.rsvd_bits_mask[0][2])) {
529530
ret = 0;
530531
goto out;
531532
}

0 commit comments

Comments
 (0)