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 */