VMX_EPT_READABLE_MASK  493 arch/x86/include/asm/vmx.h #define VMX_EPT_RWX_MASK                        (VMX_EPT_READABLE_MASK |       \
VMX_EPT_READABLE_MASK  208 arch/x86/kvm/paging_tmpl.h 		((gpte & VMX_EPT_READABLE_MASK) ? ACC_USER_MASK : 0);
VMX_EPT_READABLE_MASK 5326 arch/x86/kvm/vmx/vmx.c 	kvm_mmu_set_mask_ptes(VMX_EPT_READABLE_MASK,
VMX_EPT_READABLE_MASK 5330 arch/x86/kvm/vmx/vmx.c 		cpu_has_vmx_ept_execute_only() ? 0ull : VMX_EPT_READABLE_MASK,