ACC_USER_EXEC_MASK
const u16 xu = ACC_BITS_MASK(ACC_USER_EXEC_MASK);
((gpte & VMX_EPT_USER_EXECUTABLE_MASK) ? ACC_USER_EXEC_MASK : 0);
pte_access &= ~ACC_USER_EXEC_MASK;
if (pte_access & ACC_USER_EXEC_MASK)
(access & ACC_USER_EXEC_MASK ? shadow_xu_mask : 0);