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);