69     GifFileType *GifFile;  in DGifOpenFileName()  local
93     GifFileType *GifFile;  in DGifOpenFileHandle()  local
173     GifFileType *GifFile;  in DGifOpen()  local
233 DGifGetScreenDesc(GifFileType * GifFile) {  in DGifGetScreenDesc()
288 DGifGetRecordType(GifFileType * GifFile,  in DGifGetRecordType()
329 DGifGetImageDesc(GifFileType * GifFile) {  in DGifGetImageDesc()
427 DGifGetLine(GifFileType * GifFile,
471 DGifGetPixel(GifFileType * GifFile,
515 DGifGetExtension(GifFileType * GifFile,
543 DGifGetExtensionNext(GifFileType * GifFile,
570 DGifCloseFile(GifFileType * GifFile) {
621 DGifGetWord(GifFileType * GifFile,
643 DGifGetCode(GifFileType * GifFile,
666 DGifGetCodeNext(GifFileType * GifFile,
697 DGifSetupDecompress(GifFileType * GifFile) {
733 DGifDecompressLine(GifFileType * GifFile,
886 DGifGetLZCodes(GifFileType * GifFile,
926 DGifDecompressInput(GifFileType * GifFile,
979 DGifBufferedInput(GifFileType * GifFile,
1019 DGifSlurp(GifFileType * GifFile) {