pmc_select_cpu
pmc_select_cpu(i);
pmc_select_cpu(i);
pmc_select_cpu(cpu);
pmc_select_cpu(cpu);
pmc_select_cpu(cpu);
pmc_select_cpu(cpu);
pmc_select_cpu(cpu);
pmc_select_cpu(cpu);
pmc_select_cpu(cpu);
pmc_select_cpu(cpu);
pmc_select_cpu(cpu);
pmc_select_cpu(cpu);
void pmc_select_cpu(int cpu);