CPUMASK_XORMASK
CPUMASK_XORMASK(*dst, *set2); \
CPUMASK_XORMASK(*dst, *set1); \
CPUMASK_XORMASK(xcpu_used, ocpu_used);
CPUMASK_XORMASK(xcpu_used, cpu_used);
CPUMASK_XORMASK(xcpu_pwrdom_used, cpu_pwrdom_used);