cpumask_to_cpulist
cpumask_to_cpulist(cpumask, cpulist);
void cpumask_to_cpulist(char *cpumask, char *cpulist);