kcpuset_atomicly_remove
kcpuset_atomicly_remove(cpus_resumed, cpus_resumed);
kcpuset_atomicly_remove(cpus_resumed, cpus_resumed);
kcpuset_atomicly_remove(cpus_paused, cpus_paused);
kcpuset_atomicly_remove(cpus_resumed, cpus_resumed);
kcpuset_atomicly_remove(cpus_resumed, cpus_resumed);
kcpuset_atomicly_remove(cpus_paused, cpus_paused);
void kcpuset_atomicly_remove(kcpuset_t *, const kcpuset_t *);