1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef BOOT_COMPRESSED_DECOMPRESSOR_H
3 #define BOOT_COMPRESSED_DECOMPRESSOR_H
5 #ifdef CONFIG_KERNEL_UNCOMPRESSED
6 static inline void *decompress_kernel(void) {}
8 void *decompress_kernel(void);
10 unsigned long mem_safe_offset(void);
14 unsigned long default_lma
;
16 unsigned long image_size
; /* does not include .bss */
17 unsigned long bss_size
; /* uncompressed image .bss size */
18 unsigned long bootdata_off
;
19 unsigned long bootdata_size
;
22 extern char _vmlinux_info
[];
23 #define vmlinux (*(struct vmlinux_info *)_vmlinux_info)
25 #endif /* BOOT_COMPRESSED_DECOMPRESSOR_H */