1// SPDX-License-Identifier: GPL-2.0 2#ifndef _DECOMPRESSOR_H 3#define _DECOMPRESSOR_H 4 5/* The linker tells us where the image is. */ 6extern unsigned char __image_begin[], __image_end[]; 7 8/* debug interfaces */ 9#ifdef CONFIG_DEBUG_ZBOOT 10extern void putc(char c); 11extern void puts(const char *s); 12extern void puthex(unsigned long long val); 13#else 14#define putc(s) do {} while (0) 15#define puts(s) do {} while (0) 16#define puthex(val) do {} while (0) 17#endif 18 19extern char __appended_dtb[]; 20 21void error(char *x); 22void decompress_kernel(unsigned long boot_heap_start); 23 24#endif 25