add printf-like _DEBUGF() function for debugging, too

[16.git] / src / lib / 16_dbg.h

diff --git a/src/lib/16_dbg.h b/src/lib/16_dbg.h
index e408ac0ca84e8c3f52fa437bd47998ab71fc4260..9aaf9644c1757ef922bec2c51c10d536e9dd290a 100644 (file)
--- a/src/lib/16_dbg.h
+++ b/src/lib/16_dbg.h
@@ -5,9 +5,13 @@
 # ifdef DEBUGSERIAL
 #  include <hw/8250/8250.h>
 
+void _DEBUGF(const char *fmt,...);
 void _DEBUG(const char *msg);
 int _DEBUG_INIT();
 # else
+static inline void _DEBUGF(const char *fmt,...) {
+       // NOTHING
+}
 static inline void _DEBUG(const char *msg) {
        // NOTHING
 }