cpuset_atomic_xadd
extern long cpuset_atomic_xadd(cpuset_t *, const uint_t);
(result) = cpuset_atomic_xadd(&(set), cpu)