VMX_EPT_RWX_MASK
#define EPT_VIOLATION_RWX_TO_PROT(__epte) (((__epte) & VMX_EPT_RWX_MASK) << 3)
static_assert(EPT_VIOLATION_RWX_TO_PROT(VMX_EPT_RWX_MASK) ==
shadow_acc_track_mask = VMX_EPT_RWX_MASK;
VMX_EPT_RWX_MASK | VMX_EPT_SUPPRESS_VE_BIT, 0);
(spte & VMX_EPT_RWX_MASK) != VMX_EPT_MISCONFIG_WX_VALUE;
(mirror_spte & VMX_EPT_RWX_MASK) != VMX_EPT_RWX_MASK);