kcpuset_remove
kcpuset_remove(kcp2, ci->ci_kcpuset);
kcpuset_remove(kcp, watchset);
kcpuset_remove(kcp, curcpu()->ci_kcpuset);
kcpuset_remove(kcp, cpus_halted);
kcpuset_remove(kcp, ci->ci_kcpuset);
kcpuset_remove(kcp, cpus_paused);
kcpuset_remove(kcp2, ci->ci_data.cpu_kcpuset);
kcpuset_remove(kcp, watchset);
kcpuset_remove(kcp, curcpu()->ci_data.cpu_kcpuset);
kcpuset_remove(kcp, cpus_halted);
kcpuset_remove(kcp, ci->ci_data.cpu_kcpuset);
kcpuset_remove(kcp, cpus_paused);
void kcpuset_remove(kcpuset_t *, const kcpuset_t *);
kcpuset_remove(pm->pm_active, ti->ti_kcpuset);
kcpuset_remove(pm_active, cpu_tlb_info(curcpu())->ti_kcpuset);
kcpuset_remove(pm_active, ti->ti_kcpuset);