X86_FEATURE_EPT   214 arch/x86/kernel/cpu/intel.c 	clear_cpu_cap(c, X86_FEATURE_EPT);
X86_FEATURE_EPT   231 arch/x86/kernel/cpu/intel.c 			set_cpu_cap(c, X86_FEATURE_EPT);