VMX_EPT_SUPPRESS_VE_BIT
shadow_present_mask = VMX_EPT_SUPPRESS_VE_BIT;
VMX_EPT_RWX_MASK | VMX_EPT_SUPPRESS_VE_BIT, 0);
return (shadow_present_mask & VMX_EPT_SUPPRESS_VE_BIT) &&
!(spte & VMX_EPT_SUPPRESS_VE_BIT) &&