25 int writePNGFile(const char* pOutput, png_uint_32 width, png_uint_32 height,
143     png_uint_32 width = 0;  in read_PNG_File()  local
196         png_get_IHDR(png_ptr, info_ptr, &width, &height, &bit_depth,  in read_PNG_File()
200     stride = 3 * width;  in read_PNG_File()
212     *pWidth = width;  in read_PNG_File()
242     png_uint_32 width = 0;  in readPKMFile()  local
264     width = etc1_pkm_get_width(header);  in readPKMFile()
266     encodedSize = etc1_get_encoded_data_size(width, height);  in readPKMFile()
283     stride = width * 3;  in readPKMFile()
290     etc1_decode_image(pEncodedData, pImageData, width, height, 3, stride);  in readPKMFile()
296     *pWidth = width;  in readPKMFile()
315     etc1_uint32 width = 0;  in encode()  local
323     if (read_PNG_File(pInput, &pSourceImage, &width, &height)) {  in encode()
327     encodedSize = etc1_get_encoded_data_size(width, height);  in encode()
335             width, height, 3, width * 3, pEncodedData);  in encode()
344         etc1_pkm_format_header(header, width, height);  in encode()
369         if (outWidth != width || outHeight != height) {  in encode()
371                     outWidth, outHeight, width, height);  in encode()
376         etc1_uint32 size = width * height * 3;  in encode()
405 int writePNGFile(const char* pOutput, png_uint_32 width, png_uint_32 height,  in writePNGFile()  argument
430     png_set_IHDR(png_ptr, info_ptr, width, height, 8, PNG_COLOR_TYPE_RGB,  in writePNGFile()
456     etc1_uint32 width = 0;  in decode()  local
459     if (readPKMFile(pInput, &pImageData, &width, &height)) {  in decode()
463     if (writePNGFile(pOutput, width, height, pImageData, width * 3)) {  in decode()