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