CPUSET_DEL
CPUSET_DEL(cpus_to_check, cix);
CPUSET_DEL(poke, cpuid);
CPUSET_DEL(clock_tick_online_cpuset, cp->cpu_id);
CPUSET_DEL(cpu_available, cp->cpu_id);
CPUSET_DEL(cpu_seqid_inuse, cp->cpu_seqid);
CPUSET_DEL(cpu_active_set, cp->cpu_id);
CPUSET_DEL(*s, cpu);
CPUSET_DEL(*softcall_cpuset, cpu_id);
CPUSET_DEL(*softcall_cpuset, cpu_id);
CPUSET_DEL(*softcall_cpuset, cpu_id);
CPUSET_DEL(*softcall_cpuset, cpu_id);
CPUSET_DEL(cbe_enabled, me);
CPUSET_DEL(dptr->pm_cpus, cp->cpu_id);
CPUSET_DEL(set, CPU->cpu_id);
CPUSET_DEL(set, CPU->cpu_id);
CPUSET_DEL(set, CPU->cpu_id);
CPUSET_DEL(mp_cpus, bootcpuid);
CPUSET_DEL(mp_cpus, who);
CPUSET_DEL(check_cpus, c);
CPUSET_DEL(cpus_to_shootdown, c);
CPUSET_DEL(cpu_ready_set, cp->cpu_id);
CPUSET_DEL(cpuset, id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(mmu_ctxp->mmu_cpuset, cp->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(poke, cpuid);
CPUSET_DEL(proxy_ready_set, cpuid);
CPUSET_DEL(cpu_idle_set, i);
CPUSET_DEL(cpu_ready_set, cpuid);
CPUSET_DEL(cpu_idle_set, cpuid);
CPUSET_DEL(other_cpus, CPU->cpu_id);
CPUSET_DEL(cpu_ready_set, cpu[i]->cpu_id);
CPUSET_DEL(xc_cpuset, lcx);
CPUSET_DEL(xc_cpuset, lcx);
CPUSET_DEL(xc_cpuset, lcx);
CPUSET_DEL(xc_cpuset, lcx);
CPUSET_DEL(xc_cpuset, lcx);
CPUSET_DEL(tmpset, pix);
CPUSET_DEL(xc_cpuset, lcx);
CPUSET_DEL(tmpset, pix);
CPUSET_DEL(tmpset, pix);
CPUSET_DEL(tmpset, pix); \
CPUSET_DEL(tmpset, pix); \
CPUSET_DEL(tmpset, pix); \
CPUSET_DEL(tmpset, pix); \
CPUSET_DEL(set, i);
CPUSET_DEL(set, i);
CPUSET_DEL(set, i);
CPUSET_DEL(set, i);
CPUSET_DEL(set, i);
CPUSET_DEL(cpu_offline_set, cpuid);
CPUSET_DEL(cpu_offline_set, cpuid);
CPUSET_DEL(set, i);
CPUSET_DEL(set, i);
CPUSET_DEL(set, i);
CPUSET_DEL(cpu_offline_set, cpuid);
CPUSET_DEL(prog->data->cpu_slave_set, cpuid);
CPUSET_DEL(cpuset, cpuid);
CPUSET_DEL(chips[chipid], cpuid);
CPUSET_DEL(cpu_ready_set, cpu[i]->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(others, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(*pset, id);
CPUSET_DEL(cpuid_pset, cpuid);
CPUSET_DEL(cpuid_pset, id);
CPUSET_DEL(cpuset, CPU->cpu_id);
CPUSET_DEL(cpu_ready_set, cpu[i]->cpu_id);
CPUSET_DEL(other_cpus, CPU->cpu_id);