102 static void OutputIndex(FILE * fp, char *label, int max_colors, int width, int height, u8 *pixel);
405 static void OutputIndex(FILE * fp, char *label, int max_colors, int width, int height, u8 *pixel)  in OutputIndex()  argument
414         fprintf(fp, "const int Num_%s_Texel = %d * %d;\n\n", label, width, height);  in OutputIndex()
419             for (j = 0; j < width; j += 8)  in OutputIndex()
425                         n = (i + ii) * width + j + jj;  in OutputIndex()
449             for (j = 0; j < width; j += 8)  in OutputIndex()
455                         n = (i + ii) * width + j + jj;  in OutputIndex()
495     int     width;  in Convert()  local
509     result = ReadHeader(fp, &width, &height, &depth);  in Convert()
513     num_pixels = width * height;  in Convert()
553         OutputIndex(fp, valuelabel, colormax, width, height, index_buffer);  in Convert()