src/lib/16_dbg.h

   1
   2 #ifndef _SRC_LIB_16_DBG
   3 #define _SRC_LIB_16_DBG
   4
   5 # ifdef DEBUGSERIAL
   6 #  include <hw/8250/8250.h>
   7
   8 void _DEBUGF(const char *fmt,...);
   9 void _DEBUG(const char *msg);
  10 int _DEBUG_INIT();
  11 # else
  12 static inline void _DEBUGF(const char *fmt,...) {
  13         // NOTHING
  14 }
  15 static inline void _DEBUG(const char *msg) {
  16         // NOTHING
  17 }
  18
  19 static inline int _DEBUG_INIT() {
  20         // NOTHING
  21         return -1;
  22 }
  23 # endif
  24 #endif // _SRC_LIB_16_DBG
  25