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 6 unsigned long mem_safe_offset(void); 7 void deploy_kernel(void *output); 8 #endif 9 10 #endif /* BOOT_COMPRESSED_DECOMPRESSOR_H */ 11