Userspace printd macro
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 19 Apr 2010 06:21:10 +0000 (23:21 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:43 +0000 (17:35 -0700)
user/include/rstdio.h

index 404727a..215d93d 100644 (file)
@@ -16,4 +16,11 @@ int  vdebug(const char *fmt, va_list);
 #define printf(...) debug(__VA_ARGS__)
 #endif /* __CONFIG_APPSERVER__ */
 
+//#define PRINTD_DEBUG
+#ifdef PRINTD_DEBUG
+#define printd(args...) printf(args)
+#else
+#define printd(args...) {}
+#endif
+
 #endif /* !PARLIB_INC_DEBUG_H */