ACC_READ_MASK
#define ACC_ALL (ACC_EXEC_MASK | ACC_WRITE_MASK | ACC_USER_MASK | ACC_READ_MASK)
const u16 r = ACC_BITS_MASK(ACC_READ_MASK);
((gpte & VMX_EPT_READABLE_MASK) ? ACC_READ_MASK : 0) |
BUILD_BUG_ON(ACC_READ_MASK != PT_PRESENT_MASK);
if (pte_access & ACC_READ_MASK)