VMX_EPT_WRITABLE_MASK  494 arch/x86/include/asm/vmx.h 						 VMX_EPT_WRITABLE_MASK |       \
VMX_EPT_WRITABLE_MASK  499 arch/x86/include/asm/vmx.h #define VMX_EPT_MISCONFIG_WX_VALUE		(VMX_EPT_WRITABLE_MASK |       \
VMX_EPT_WRITABLE_MASK 2708 arch/x86/kvm/mmu.c 	BUILD_BUG_ON(VMX_EPT_WRITABLE_MASK != PT_WRITABLE_MASK);
VMX_EPT_WRITABLE_MASK  206 arch/x86/kvm/paging_tmpl.h 	access = ((gpte & VMX_EPT_WRITABLE_MASK) ? ACC_WRITE_MASK : 0) |