CPUSET_EMPTY
if (CPUSET_EMPTY(cpuset))
if (CPUSET_EMPTY(cpuset))
if (CPUSET_EMPTY(cpus_spinning)) {
if (CPUSET_EMPTY(cpuset))
if (CPUSET_EMPTY(cpuset))
if (!CPUSET_EMPTY(cpus_expected)) {
} while(!CPUSET_EMPTY(cpus_expected));