1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef BOOT_COMPRESSED_DECOMPRESSOR_H
3 #define BOOT_COMPRESSED_DECOMPRESSOR_H
5 #include <linux/stddef.h>
7 #ifdef CONFIG_KERNEL_UNCOMPRESSED
8 static inline void *decompress_kernel(void) { return NULL
; }
10 void *decompress_kernel(void);
12 unsigned long mem_safe_offset(void);
16 unsigned long default_lma
;
18 unsigned long image_size
; /* does not include .bss */
19 unsigned long bss_size
; /* uncompressed image .bss size */
20 unsigned long bootdata_off
;
21 unsigned long bootdata_size
;
22 unsigned long bootdata_preserved_off
;
23 unsigned long bootdata_preserved_size
;
24 unsigned long dynsym_start
;
25 unsigned long rela_dyn_start
;
26 unsigned long rela_dyn_end
;
29 extern char _vmlinux_info
[];
30 #define vmlinux (*(struct vmlinux_info *)_vmlinux_info)
32 #endif /* BOOT_COMPRESSED_DECOMPRESSOR_H */