X86_CR4_PCIDE
| X86_CR4_PGE | X86_CR4_PCE | X86_CR4_OSFXSR | X86_CR4_PCIDE \
cr4 |= X86_CR4_PCIDE;
mmu_cr4_features = __read_cr4() & ~X86_CR4_PCIDE;
#define X86_CR4_TLBFLUSH_BITS (X86_CR4_PGE | X86_CR4_PCIDE | X86_CR4_PAE | X86_CR4_SMEP)
return kvm_is_cr4_bit_set(vcpu, X86_CR4_PCIDE)
if (cr4 & X86_CR4_PCIDE) {
bad = kvm_set_cr4(vcpu, cr4 & ~X86_CR4_PCIDE);
if (cr4 & X86_CR4_PCIDE) {
if (cr4 & X86_CR4_PCIDE)
kvm_set_cr4(vcpu, cr4 & ~X86_CR4_PCIDE);
CC(vmcs12->host_cr4 & X86_CR4_PCIDE) ||
cr4_fixed1_update(X86_CR4_PCIDE, ecx, feature_bit(PCID));
(is_64_bit_mode(vcpu) || kvm_is_cr4_bit_set(vcpu, X86_CR4_PCIDE)))
(cr4 & X86_CR4_PCIDE) && !(old_cr4 & X86_CR4_PCIDE))
(!(cr4 & X86_CR4_PCIDE) && (old_cr4 & X86_CR4_PCIDE)))
if ((cr4 & X86_CR4_PCIDE) && !(old_cr4 & X86_CR4_PCIDE)) {
pcid_enabled = kvm_is_cr4_bit_set(vcpu, X86_CR4_PCIDE);
if (!kvm_is_cr4_bit_set(vcpu, X86_CR4_PCIDE))
if (kvm_is_cr4_bit_set(vcpu, X86_CR4_PCIDE)) {
__reserved_bits |= X86_CR4_PCIDE; \
cr4_set_bits(X86_CR4_PCIDE);
!(cr4_read_shadow() & X86_CR4_PCIDE));
cpu_pcide = this_cpu_read(cpu_tlbstate.cr4) & X86_CR4_PCIDE;
cr4_clear_bits(X86_CR4_PCIDE);
TEST_INVALID_CR_BIT(vcpu, cr4, sregs, X86_CR4_PCIDE);
cr4 |= X86_CR4_PCIDE;