755 void * ReadGLTexture( GLenum glTarget, GLuint glTexture, GLuint glBuf, GLint width,  in ReadGLTexture()  argument
761     glBindTexture(get_base_gl_target(glTarget), glTexture);  in ReadGLTexture()
764     glGetTexLevelParameteriv( glTarget, 0, GL_TEXTURE_WIDTH, &realWidth );  in ReadGLTexture()
765     glGetTexLevelParameteriv( glTarget, 0, GL_TEXTURE_HEIGHT, &realHeight );  in ReadGLTexture()
766     glGetTexLevelParameteriv( glTarget, 0, GL_TEXTURE_DEPTH, &realDepth );  in ReadGLTexture()
771     glGetTexLevelParameteriv( glTarget, 0, GL_TEXTURE_INTERNAL_FORMAT, &realInternalFormat );  in ReadGLTexture()
776         GetGLTargetName( glTarget),  in ReadGLTexture()
821     if (get_base_gl_target(glTarget) != GL_TEXTURE_BUFFER) {  in ReadGLTexture()
834     if (get_base_gl_target(glTarget) != GL_TEXTURE_BUFFER) {  in ReadGLTexture()
839         glGetTexImage( glTarget, 0, readBackFormat, readBackType, outBuffer );  in ReadGLTexture()
852         GetGLTargetName( glTarget),  in ReadGLTexture()