1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef BOOT_COMPRESSED_DECOMPRESSOR_H
 3#define BOOT_COMPRESSED_DECOMPRESSOR_H
 4
 5#ifndef CONFIG_KERNEL_UNCOMPRESSED
 6unsigned long mem_safe_offset(void);
 7void deploy_kernel(void *output);
 
 8#endif
 
 9
10#endif /* BOOT_COMPRESSED_DECOMPRESSOR_H */

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