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
;
20 unsigned long bootdata_preserved_off
;
21 unsigned long bootdata_preserved_size
;
22 unsigned long dynsym_start
;
23 unsigned long rela_dyn_start
;
24 unsigned long rela_dyn_end
;
27 extern char _vmlinux_info
[];
28 #define vmlinux (*(struct vmlinux_info *)_vmlinux_info)
30 #endif /* BOOT_COMPRESSED_DECOMPRESSOR_H */