1 // SPDX-License-Identifier: GPL-2.0 1
2 #ifndef _DECOMPRESSOR_H
3 #define _DECOMPRESSOR_H
4
5 /* The linker tells us where the image is. */
6 extern unsigned char __image_begin[], __image_
7
8 /* debug interfaces */
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);
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
19 extern char __appended_dtb[];
20
21 void error(char *x);
22 void decompress_kernel(unsigned long boot_heap
23
24 #endif
25
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.