CPUMASK_NANDMASK
CPUMASK_NANDMASK(mask, stopped_cpus);
CPUMASK_NANDMASK(tmpmask, bsd4_curprocmask);
CPUMASK_NANDMASK(mask, bsd4_curprocmask);
CPUMASK_NANDMASK(tmpmask, dd->cpunode->members);
CPUMASK_NANDMASK(tmpmask,
CPUMASK_NANDMASK(mask, bsd4_curprocmask);
CPUMASK_NANDMASK(mask, dfly_curprocmask);
CPUMASK_NANDMASK(mask, dummy_curprocmask);
CPUMASK_NANDMASK(tmpmask, dummy_curprocmask);
CPUMASK_NANDMASK(mask, md->mi.gd_cpumask);
CPUMASK_NANDMASK(*mask, omask);
CPUMASK_NANDMASK(*mask, smp_idleinvl_mask);
CPUMASK_NANDMASK(mask, md->mi.gd_cpumask);
CPUMASK_NANDMASK(unused_cpumask, cpu_used);
CPUMASK_NANDMASK(saved_pwrdom, cpu_pwrdom_used);