1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef BOOT_COMPRESSED_DECOMPRESSOR_H
3#define BOOT_COMPRESSED_DECOMPRESSOR_H
4
5#ifdef CONFIG_KERNEL_UNCOMPRESSED
6static inline void *decompress_kernel(void) { return NULL; }
7#else
8void *decompress_kernel(void);
9#endif
10unsigned long mem_safe_offset(void);
11
12#endif /* BOOT_COMPRESSED_DECOMPRESSOR_H */
13