free_cpu_set
free_cpu_set(ctdp_level->core_cpumask);
free_cpu_set(ctdp_level->core_cpumask);
free_cpu_set(pbf_info->core_cpumask);
free_cpu_set(ctdp_level.core_cpumask);
free_cpu_set(ctdp_level->core_cpumask);
free_cpu_set(pbf_info->core_cpumask);
free_cpu_set(pbf_info.core_cpumask);
free_cpu_set(present_cpumask);
free_cpu_set(target_cpumask);
free_cpu_set(ctdp_level->pbf_info.core_cpumask);
free_cpu_set(ctdp_level->core_cpumask);
free_cpu_set(ctdp_level.core_cpumask);
free_cpu_set(ctdp_level.core_cpumask);
extern void free_cpu_set(cpu_set_t *cpu_set);