diff options
| author | Junaid Shahid <junaids@google.com> | 2018-06-27 14:59:21 -0700 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2018-08-06 17:59:02 +0200 |
| commit | 208320ba103e01fd2f3a7b81e97c9c5bc85f0612 (patch) | |
| tree | a74a3f8d3c97194672add59873421476b66dd3f0 /lib/mpi/mpi-bit.c | |
| parent | b94742c958f0b97d304d4aecb4603a20ee9a2df3 (diff) | |
kvm: x86: Remove CR3_PCID_INVD flag
It is a duplicate of X86_CR3_PCID_NOFLUSH. So just use that instead.
Signed-off-by: Junaid Shahid <junaids@google.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'lib/mpi/mpi-bit.c')
0 files changed, 0 insertions, 0 deletions