1 #ifndef __BOOTSTRAP__GUNZIP_H__
2 #define __BOOTSTRAP__GUNZIP_H__
4 #include <l4/sys/l4int.h>
15 l4_addr_t gunzip_upper_mem_linalloc(void);
16 #define UPPER_MEM_LINALLOC gunzip_upper_mem_linalloc()
18 #define RAW_ADDR(x) (x)
19 #define RAW_SEG(x) (x)
21 extern unsigned int filepos;
22 extern unsigned int filemax;
23 extern unsigned int fsmax; /* max size of fs/readable media */
24 extern unsigned int compressed_file;
25 extern grub_error_t errnum;
27 /* Read LEN bytes into BUF from the file that was opened with
28 GRUB_OPEN. If LEN is -1, read all the remaining data in the file. */
29 int grub_read (unsigned char *buf, int len);
31 int gunzip_read (unsigned char *buf, int len);
32 int gunzip_test_header (void);
34 void *memmove(void *dest, const void *src, size_t n);
36 #endif /* ! __BOOTSTRAP__GUNZIP_H__ */