1 // SPDX-License-Identifier: GPL-2.0
2 #ifndef _DECOMPRESSOR_H
3 #define _DECOMPRESSOR_H
5 /* The linker tells us where the image is. */
6 extern unsigned char __image_begin
[], __image_end
[];
9 #ifdef CONFIG_DEBUG_ZBOOT
10 extern void putc(char c
);
11 extern void puts(const char *s
);
12 extern void puthex(unsigned long long val
);
14 #define putc(s) do {} while (0)
15 #define puts(s) do {} while (0)
16 #define puthex(val) do {} while (0)
19 extern char __appended_dtb
[];
22 void decompress_kernel(unsigned long boot_heap_start
);