CPU_NAME_BUF_SIZE
char cpu_name_buf[CPU_NAME_BUF_SIZE];
snprintf(cpu_name_buf, CPU_NAME_BUF_SIZE, "cpu%d", cpu);