VMX_EPT_EXECUTABLE_MASK  495 arch/x86/include/asm/vmx.h 						 VMX_EPT_EXECUTABLE_MASK)
VMX_EPT_EXECUTABLE_MASK  500 arch/x86/include/asm/vmx.h 						 VMX_EPT_EXECUTABLE_MASK)
VMX_EPT_EXECUTABLE_MASK  207 arch/x86/kvm/paging_tmpl.h 		((gpte & VMX_EPT_EXECUTABLE_MASK) ? ACC_EXEC_MASK : 0) |
VMX_EPT_EXECUTABLE_MASK 5329 arch/x86/kvm/vmx/vmx.c 		0ull, VMX_EPT_EXECUTABLE_MASK,