VMX_EPT_DEFAULT_MT 1527 arch/x86/kvm/vmx.c 	eptp = VMX_EPT_DEFAULT_MT |
VMX_EPT_DEFAULT_MT 3303 arch/x86/kvm/vmx.c 			VMX_EPT_DEFAULT_MT << VMX_EPT_MT_EPTE_SHIFT);