1615967b0SShawn Guo static inline void putc(int c) {} 2615967b0SShawn Guo static inline void flush(void) {} 3615967b0SShawn Guo static inline void arch_decomp_setup(void) {} 4