release_arch_pebs_buf_on_cpu
release_arch_pebs_buf_on_cpu(cpu);
void release_arch_pebs_buf_on_cpu(int cpu);