zs_pset_used_cpus
used = zs_pset_used_cpus(pset, ZS_USER_ALL);
used = zs_pset_used_cpus(pset, ZS_USER_KERNEL);
uint64_t zs_pset_used_cpus(zs_pset_t *, int);