1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifdef CONFIG_DEBUG_UNCOMPRESS 3 extern void putc(int c); 4 #else putc(int c)5 static inline void putc(int c) {} 6 #endif flush(void)7 static inline void flush(void) {} arch_decomp_setup(void)8 static inline void arch_decomp_setup(void) {} 9