IDXD_FLAG_USER_PASID_ENABLED
return test_bit(IDXD_FLAG_USER_PASID_ENABLED, &idxd->flags);
set_bit(IDXD_FLAG_USER_PASID_ENABLED, &idxd->flags);