cpusetobj_strprint
cpusetobj_strprint(lktr_cpumask_str, &ktr_cpumask);
cg->cg_count, cpusetobj_strprint(cpusetbuf, &cg->cg_mask));
cpusetobj_strprint(cpusetbuf, &map), type);
CTR1(KTR_SMP, "restart_cpus(%s)", cpusetobj_strprint(cpusetbuf, &map));
CTR1(KTR_SMP, "restart_cpus(%s)", cpusetobj_strprint(cpusetbuf, &map));
top, cpusetobj_strprint(cpusetbuf, &top->cg_mask),
cpusetobj_strprint(cpusetbuf2, &all_cpus));
cpusetobj_strprint(cpusetbuf, &parent->cg_mask),
cpusetobj_strprint(cpusetbuf2, &child->cg_mask));
char *cpusetobj_strprint(char *, const cpuset_t *);