kcpuset_atomic_clear
kcpuset_atomic_clear(cpus_paused, cii);
kcpuset_atomic_clear(cpus_paused, cii);
kcpuset_atomic_clear(kcpuset_running, cpu_index(ci));
kcpuset_atomic_clear(mtrr_waiting, cpu_index(curcpu()));
kcpuset_atomic_clear(oldpmap->pm_cpus, cid);
kcpuset_atomic_clear(oldpmap->pm_kernel_cpus, cid);
kcpuset_atomic_clear(oldpmap->pm_cpus, cid);
kcpuset_atomic_clear(oldpmap->pm_kernel_cpus, cid);
kcpuset_atomic_clear(pmap->pm_cpus, cid);
kcpuset_atomic_clear(pmap->pm_kernel_cpus, cid);
kcpuset_atomic_clear(ci->ci_pmap->pm_cpus, cpu_index(ci));
kcpuset_atomic_clear(oldpmap->pm_xen_ptp_cpus, cid);
kcpuset_atomic_clear(sc->sc_intr_cpuset, cpu);
void kcpuset_atomic_clear(kcpuset_t *, cpuid_t);
kcpuset_atomic_clear(pm->pm_onproc, cpu_index(ci));