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 */
tjh.dev