cpu_map__trim_new
cpus = cpu_map__trim_new(nr_cpus, tmp_cpus);
merged = cpu_map__trim_new(k, tmp_cpus);