INLINE void kdbg_init(void) { /* nop */ }
INLINE void kputchar(UNUSED_ARG(char, c)) { /* nop */ }
INLINE void kputs(UNUSED_ARG(const char *, str)) { /* nop */ }
INLINE void kdbg_init(void) { /* nop */ }
INLINE void kputchar(UNUSED_ARG(char, c)) { /* nop */ }
INLINE void kputs(UNUSED_ARG(const char *, str)) { /* nop */ }