7219 	cr4_fixed1_update(X86_CR4_VME,        edx, feature_bit(VME));  in nested_vmx_cr_fixed1_bits_update()
7220 	cr4_fixed1_update(X86_CR4_PVI,        edx, feature_bit(VME));  in nested_vmx_cr_fixed1_bits_update()
7221 	cr4_fixed1_update(X86_CR4_TSD,        edx, feature_bit(TSC));  in nested_vmx_cr_fixed1_bits_update()
7222 	cr4_fixed1_update(X86_CR4_DE,         edx, feature_bit(DE));  in nested_vmx_cr_fixed1_bits_update()
7223 	cr4_fixed1_update(X86_CR4_PSE,        edx, feature_bit(PSE));  in nested_vmx_cr_fixed1_bits_update()
7224 	cr4_fixed1_update(X86_CR4_PAE,        edx, feature_bit(PAE));  in nested_vmx_cr_fixed1_bits_update()
7225 	cr4_fixed1_update(X86_CR4_MCE,        edx, feature_bit(MCE));  in nested_vmx_cr_fixed1_bits_update()
7226 	cr4_fixed1_update(X86_CR4_PGE,        edx, feature_bit(PGE));  in nested_vmx_cr_fixed1_bits_update()
7227 	cr4_fixed1_update(X86_CR4_OSFXSR,     edx, feature_bit(FXSR));  in nested_vmx_cr_fixed1_bits_update()
7228 	cr4_fixed1_update(X86_CR4_OSXMMEXCPT, edx, feature_bit(XMM));  in nested_vmx_cr_fixed1_bits_update()
7229 	cr4_fixed1_update(X86_CR4_VMXE,       ecx, feature_bit(VMX));  in nested_vmx_cr_fixed1_bits_update()
7230 	cr4_fixed1_update(X86_CR4_SMXE,       ecx, feature_bit(SMX));  in nested_vmx_cr_fixed1_bits_update()
7231 	cr4_fixed1_update(X86_CR4_PCIDE,      ecx, feature_bit(PCID));  in nested_vmx_cr_fixed1_bits_update()
7232 	cr4_fixed1_update(X86_CR4_OSXSAVE,    ecx, feature_bit(XSAVE));  in nested_vmx_cr_fixed1_bits_update()
7235 	cr4_fixed1_update(X86_CR4_FSGSBASE,   ebx, feature_bit(FSGSBASE));  in nested_vmx_cr_fixed1_bits_update()
7236 	cr4_fixed1_update(X86_CR4_SMEP,       ebx, feature_bit(SMEP));  in nested_vmx_cr_fixed1_bits_update()
7237 	cr4_fixed1_update(X86_CR4_SMAP,       ebx, feature_bit(SMAP));  in nested_vmx_cr_fixed1_bits_update()
7238 	cr4_fixed1_update(X86_CR4_PKE,        ecx, feature_bit(PKU));  in nested_vmx_cr_fixed1_bits_update()
7239 	cr4_fixed1_update(X86_CR4_UMIP,       ecx, feature_bit(UMIP));  in nested_vmx_cr_fixed1_bits_update()
7240 	cr4_fixed1_update(X86_CR4_LA57,       ecx, feature_bit(LA57));  in nested_vmx_cr_fixed1_bits_update()