-void init_fpga_inflate(z_streamp compressed_fpga_stream, uint8_t *fpga_image_start, uint32_t fpga_image_size, uint8_t *output_buffer)
-{
- // initialize z_stream structure for inflate:
- compressed_fpga_stream->next_in = fpga_image_start;
- compressed_fpga_stream->avail_in = fpga_image_size;
- compressed_fpga_stream->next_out = output_buffer;
- compressed_fpga_stream->avail_out = OUTPUT_BUFFER_LEN;
- compressed_fpga_stream->zalloc = &fpga_inflate_malloc;
- compressed_fpga_stream->zfree = &fpga_inflate_free;
-
- // initialize inflate to automatically detect header:
- int res = inflateInit2(compressed_fpga_stream, 15+32);
-
- fpga_image_ptr = output_buffer;
-
- Dbprintf("InflateInit returned %d", res);
- Dbprintf("fpga_image_ptr pointing at %02x %02x %02x %02x", fpga_image_ptr[0], fpga_image_ptr[1], fpga_image_ptr[2], fpga_image_ptr[3]);
- Dbprintf("zstream->next_in pointing at %02x %02x %02x %02x", compressed_fpga_stream->next_in[0], compressed_fpga_stream->next_in[1], compressed_fpga_stream->next_in[2], compressed_fpga_stream->next_in[3]);
-}
-
-
-bool reset_fpga_stream(int bitstream_version, z_streamp compressed_fpga_stream, uint8_t *output_buffer)