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