| // SPDX-License-Identifier: GPL-2.0 | |
| #ifndef _DECOMPRESSOR_H | |
| #define _DECOMPRESSOR_H | |
| /* The linker tells us where the image is. */ | |
| extern unsigned char __image_begin[], __image_end[]; | |
| /* debug interfaces */ | |
| #ifdef CONFIG_DEBUG_ZBOOT | |
| extern void putc(char c); | |
| extern void puts(const char *s); | |
| extern void puthex(unsigned long long val); | |
| #else | |
| #define putc(s) do {} while (0) | |
| #define puts(s) do {} while (0) | |
| #define puthex(val) do {} while (0) | |
| #endif | |
| extern char __appended_dtb[]; | |
| void error(char *x); | |
| void decompress_kernel(unsigned long boot_heap_start); | |
| #endif |