others
others();
static void others(void);
reserved = others;
n_reserved = sizeof (others) / sizeof (others[0]);
static char *others[] = { "AUX", "NUL", "PRN" };
cpuset_t others;
others = cpu_ready_set;
CPUSET_DEL(others, CPU->cpu_id);
xt_some(others, (xcfunc_t *)sysctrl_freeze, (uint64_t)sysctrl_gate,
if (!CPU_IN_SET(others, i))