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