VMX_EPT_READABLE_MASK
#define VMX_EPT_RWX_MASK (VMX_EPT_READABLE_MASK | \
((gpte & VMX_EPT_READABLE_MASK) ? ACC_READ_MASK : 0) |
#define SHADOW_ACC_TRACK_SAVED_BITS_MASK (VMX_EPT_READABLE_MASK | \