kcpuset_atomic_set
kcpuset_atomic_set(cpus_halted, cii);
kcpuset_atomic_set(cpus_paused, cii);
kcpuset_atomic_set(cpus_resumed, cii);
kcpuset_atomic_set(cpus_hatched, cpu_index(ci));
kcpuset_atomic_set(pmap_kernel()->pm_onproc, cpu_index(ci));
kcpuset_atomic_set(pmap_kernel()->pm_active, cpu_index(ci));
kcpuset_atomic_set(csi->cpus_hatched, cpu_number());
kcpuset_atomic_set(csi->cpus_running, cpu_number());
kcpuset_atomic_set(cpus_halted, cii);
kcpuset_atomic_set(cpus_paused, cii);
kcpuset_atomic_set(cpus_resumed, cii);
kcpuset_atomic_set(kcpuset_running, cpu_index(ci));
kcpuset_atomic_set(mtrr_waiting, cpu_index(curcpu()));
kcpuset_atomic_set(pmap->pm_cpus, cid);
kcpuset_atomic_set(pmap->pm_cpus, cid);
kcpuset_atomic_set(pmap->pm_kernel_cpus, cid);
kcpuset_atomic_set(pmap->pm_cpus, cid);
kcpuset_atomic_set(pmap->pm_kernel_cpus, cid);
kcpuset_atomic_set(oldpmap->pm_cpus, cid);
kcpuset_atomic_set(oldpmap->pm_kernel_cpus, cid);
kcpuset_atomic_set(pmap->pm_xen_ptp_cpus, cid);
kcpuset_atomic_set(sc->sc_intr_cpuset, cpu);
kcpuset_atomic_set(kcpuset_running, cpu_index(ci));
void kcpuset_atomic_set(kcpuset_t *, cpuid_t);
kcpuset_atomic_set(pm->pm_onproc, cpu_index(ci));