7110 	cr4_fixed1_update(X86_CR4_VME,        edx, feature_bit(VME));  in nested_vmx_cr_fixed1_bits_update()
7111 	cr4_fixed1_update(X86_CR4_PVI,        edx, feature_bit(VME));  in nested_vmx_cr_fixed1_bits_update()
7112 	cr4_fixed1_update(X86_CR4_TSD,        edx, feature_bit(TSC));  in nested_vmx_cr_fixed1_bits_update()
7113 	cr4_fixed1_update(X86_CR4_DE,         edx, feature_bit(DE));  in nested_vmx_cr_fixed1_bits_update()
7114 	cr4_fixed1_update(X86_CR4_PSE,        edx, feature_bit(PSE));  in nested_vmx_cr_fixed1_bits_update()
7115 	cr4_fixed1_update(X86_CR4_PAE,        edx, feature_bit(PAE));  in nested_vmx_cr_fixed1_bits_update()
7116 	cr4_fixed1_update(X86_CR4_MCE,        edx, feature_bit(MCE));  in nested_vmx_cr_fixed1_bits_update()
7117 	cr4_fixed1_update(X86_CR4_PGE,        edx, feature_bit(PGE));  in nested_vmx_cr_fixed1_bits_update()
7118 	cr4_fixed1_update(X86_CR4_OSFXSR,     edx, feature_bit(FXSR));  in nested_vmx_cr_fixed1_bits_update()
7119 	cr4_fixed1_update(X86_CR4_OSXMMEXCPT, edx, feature_bit(XMM));  in nested_vmx_cr_fixed1_bits_update()
7120 	cr4_fixed1_update(X86_CR4_VMXE,       ecx, feature_bit(VMX));  in nested_vmx_cr_fixed1_bits_update()
7121 	cr4_fixed1_update(X86_CR4_SMXE,       ecx, feature_bit(SMX));  in nested_vmx_cr_fixed1_bits_update()
7122 	cr4_fixed1_update(X86_CR4_PCIDE,      ecx, feature_bit(PCID));  in nested_vmx_cr_fixed1_bits_update()
7123 	cr4_fixed1_update(X86_CR4_OSXSAVE,    ecx, feature_bit(XSAVE));  in nested_vmx_cr_fixed1_bits_update()
7126 	cr4_fixed1_update(X86_CR4_FSGSBASE,   ebx, feature_bit(FSGSBASE));  in nested_vmx_cr_fixed1_bits_update()
7127 	cr4_fixed1_update(X86_CR4_SMEP,       ebx, feature_bit(SMEP));  in nested_vmx_cr_fixed1_bits_update()
7128 	cr4_fixed1_update(X86_CR4_SMAP,       ebx, feature_bit(SMAP));  in nested_vmx_cr_fixed1_bits_update()
7129 	cr4_fixed1_update(X86_CR4_PKE,        ecx, feature_bit(PKU));  in nested_vmx_cr_fixed1_bits_update()
7130 	cr4_fixed1_update(X86_CR4_UMIP,       ecx, feature_bit(UMIP));  in nested_vmx_cr_fixed1_bits_update()
7131 	cr4_fixed1_update(X86_CR4_LA57,       ecx, feature_bit(LA57));  in nested_vmx_cr_fixed1_bits_update()