kcpuset_destroy
kcpuset_destroy(pm->pm_active);
kcpuset_destroy(pm->pm_onproc);
kcpuset_destroy(set);
kcpuset_destroy(pm->pm_active);
kcpuset_destroy(pm->pm_onproc);
kcpuset_destroy(set);
kcpuset_destroy(set);
kcpuset_destroy(kcp);
kcpuset_destroy(running);
kcpuset_destroy(kcp);
kcpuset_destroy(cpus);
kcpuset_destroy(pmap->pm_cpus);
kcpuset_destroy(pmap->pm_kernel_cpus);
kcpuset_destroy(pmap->pm_xen_ptp_cpus);
kcpuset_destroy(cpus);
kcpuset_destroy(cpudata->htlb_want_flush);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(affinity);
kcpuset_destroy(cpuset);
kcpuset_destroy(assigned);
kcpuset_destroy(avail);
kcpuset_destroy(kcpuset);
kcpuset_destroy(kcpuset);
kcpuset_destroy(kcpuset);
kcpuset_destroy(kcp);
kcpuset_destroy(kcpulst);
void kcpuset_destroy(kcpuset_t *);
kcpuset_destroy(onproc);
kcpuset_destroy(pmap->pm_active);
kcpuset_destroy(pmap->pm_onproc);
kcpuset_destroy(onproc);