SECONDARY_EXEC_ENABLE_EPT  248 arch/x86/kvm/vmx.c 		SECONDARY_EXEC_ENABLE_EPT);
SECONDARY_EXEC_ENABLE_EPT 1140 arch/x86/kvm/vmx.c 			SECONDARY_EXEC_ENABLE_EPT;
SECONDARY_EXEC_ENABLE_EPT 1151 arch/x86/kvm/vmx.c 	if (_cpu_based_2nd_exec_control & SECONDARY_EXEC_ENABLE_EPT) {
SECONDARY_EXEC_ENABLE_EPT 1931 arch/x86/kvm/vmx.c 			exec_control &= ~SECONDARY_EXEC_ENABLE_EPT;