check_cpus
check_encaplim, check_uint32, check_maxbw, check_cpus,
get_cpus, check_cpus, 0,
cpuset_t check_cpus;
check_cpus = cpus_to_shootdown;
for (c = 0; c < NCPU && !CPUSET_ISNULL(check_cpus); ++c) {
if (!CPU_IN_SET(check_cpus, c))
CPUSET_DEL(check_cpus, c);