src/lib/16_dbg.h

   1
   2 #ifdef DEBUGSERIAL
   3 # include <hw/8250/8250.h>
   4
   5 void _DEBUG(const char *msg);
   6 int _DEBUG_INIT();
   7 #else
   8 static inline void _DEBUG(const char *msg) {
   9         // NOTHING
  10 }
  11
  12 static inline int _DEBUG_INIT() {
  13         // NOTHING
  14         return -1;
  15 }
  16 #endif
  17