kernel_cidx
summary_format(x_kernel, y_kernel, stats, kernel_names, kernel_cidx);
summary_format(x_kernel, y_kernel, stats, kernel_names, kernel_cidx);
static int *kernel_cidx;
kernel_cidx = (int *)malloc(num_kernel * sizeof(int));
kernel_cidx[i++] = color_tag(scratchbuf);