diff options
author | Junaid Shahid <junaids@google.com> | 2018-05-04 11:37:13 -0700 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2018-05-11 11:21:12 +0200 |
commit | c19986fea873f3c745122bf79013a872a190f212 (patch) | |
tree | 3d2dd64d5a9cd0d5ef154be7cce2ca944597a8c4 /lib/test-string_helpers.c | |
parent | bcb2b94ae01009db26d1ad0811975405149b14f0 (diff) |
kvm: x86: Suppress CR3_PCID_INVD bit only when PCIDs are enabled
If the PCIDE bit is not set in CR4, then the MSb of CR3 is a reserved
bit. If the guest tries to set it, that should cause a #GP fault. So
mask out the bit only when the PCIDE bit is set.
Signed-off-by: Junaid Shahid <junaids@google.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'lib/test-string_helpers.c')
0 files changed, 0 insertions, 0 deletions