25 lines
567 B
C
25 lines
567 B
C
|
// 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
|