diff --git a/Kernel/kstdio.h b/Kernel/kstdio.h index daf00c6a10..9910607411 100644 --- a/Kernel/kstdio.h +++ b/Kernel/kstdio.h @@ -38,8 +38,6 @@ void set_serial_debug(bool on_or_off); int get_serial_debug(); } -#define printf dbgprintf - #ifdef __cplusplus template