VMX_EPT_RWX_MASK 4138 arch/x86/kvm/vmx/vmx.c 	kvm_mmu_set_mmio_spte_mask(VMX_EPT_RWX_MASK,
VMX_EPT_RWX_MASK 5331 arch/x86/kvm/vmx/vmx.c 		VMX_EPT_RWX_MASK, 0ull);