X86_CR4_MCE
cr4 = native_read_cr4() & X86_CR4_MCE;
| X86_CR4_PSE | X86_CR4_PAE | X86_CR4_MCE \
cr4_set_bits(X86_CR4_MCE);
cr4_set_bits(X86_CR4_MCE);
cr4_set_bits(X86_CR4_MCE);
cr4_set_bits(X86_CR4_MCE);
cr4_set_bits(X86_CR4_MCE);
unsigned long host_cr4_mce = cr4_read_shadow() & X86_CR4_MCE;
hw_cr4 = (cr4_read_shadow() & X86_CR4_MCE) | (cr4 & ~X86_CR4_MCE);
cr4_fixed1_update(X86_CR4_MCE, edx, feature_bit(MCE));
!kvm_is_cr4_bit_set(vcpu, X86_CR4_MCE)) {
X86_CR4_MCE | X86_CR4_PGE | X86_CR4_PCE | \