543                           int page_num,  in GetThumbnailFilename()  argument
559       snprintf(name_buf, name_buf_size, format, pdf_name, page_num);  in GetThumbnailFilename()
656 void WriteImages(FPDF_PAGE page, const char* pdf_name, int page_num) {  in WriteImages()  argument
665               i + 1, page_num + 1);  in WriteImages()
671                                    pdf_name, page_num, i);  in WriteImages()
682               i + 1, page_num + 1);  in WriteImages()
693                                  int page_num) {  in WriteDecodedThumbnailStream()  argument
695   if (!GetThumbnailFilename(filename, sizeof(filename), pdf_name, page_num,  in WriteDecodedThumbnailStream()
706             page_num + 1);  in WriteDecodedThumbnailStream()
723                              int page_num) {  in WriteRawThumbnailStream()  argument
725   if (!GetThumbnailFilename(filename, sizeof(filename), pdf_name, page_num,  in WriteRawThumbnailStream()
735             page_num + 1);  in WriteRawThumbnailStream()
749 void WriteThumbnail(FPDF_PAGE page, const char* pdf_name, int page_num) {  in WriteThumbnail()  argument
751   if (!GetThumbnailFilename(filename, sizeof(filename), pdf_name, page_num,  in WriteThumbnail()
759             page_num + 1);  in WriteThumbnail()
767             page_num + 1);  in WriteThumbnail()