kcpuset_clear
kcpuset_clear(kcp2, --cii);
kcpuset_clear(kcp, --cii);
kcpuset_clear(csi->cpus_paused, index);
kcpuset_clear(kcp2, --cii);
kcpuset_clear(kcp, --cii);
kcpuset_clear(cpudata->htlb_want_flush, hcpu);
kcpuset_clear(cpudata->htlb_want_flush, cpu_number());
kcpuset_clear(cpuset, cpu_idx);
void kcpuset_clear(kcpuset_t *, cpuid_t);
kcpuset_clear(onproc, cpu_index(ci));
kcpuset_clear(onproc, n);