VMX_EPT_USER_EXECUTABLE_MASK
#define EPT_VIOLATION_USER_EXEC_TO_PROT(__epte) (((__epte) & VMX_EPT_USER_EXECUTABLE_MASK) >> 4)
static_assert(EPT_VIOLATION_USER_EXEC_TO_PROT(VMX_EPT_USER_EXECUTABLE_MASK) ==
return pte & (7 | (mmu_has_mbec(mmu) ? VMX_EPT_USER_EXECUTABLE_MASK : 0));
((gpte & VMX_EPT_USER_EXECUTABLE_MASK) ? ACC_USER_EXEC_MASK : 0);
shadow_xu_mask = VMX_EPT_USER_EXECUTABLE_MASK;
shadow_acc_track_mask = VMX_EPT_RWX_MASK | VMX_EPT_USER_EXECUTABLE_MASK;
VMX_EPT_RWX_MASK | VMX_EPT_USER_EXECUTABLE_MASK)));
if (pte & VMX_EPT_USER_EXECUTABLE_MASK)
VMX_EPT_USER_EXECUTABLE_MASK)