__cpuset_t
#define CPUSET_SINGLE(cpu) ((__cpuset_t)1 << (cpu))
#define CPUSET_EMPTY_P(set) ((set) == (__cpuset_t)0)
#define CPUSET_CLEAR(set) ((set) = (__cpuset_t)0)
cpu_multicast_ipi(__cpuset_t cpuset, uint32_t msg)
cpu_ipi_error(const char *s, kcpuset_t *succeeded, __cpuset_t expected)
__cpuset_t cpuset;
cpu_ipi_wait(kcpuset_t *watchset, __cpuset_t mask)
__cpuset_t cpuset;
__cpuset_t cpumask, cpuset, halted;
__cpuset_t cpuset;
__cpuset_t cpuset = CPUSET_SINGLE(index);
__cpuset_t cpuset;