index 56e8f56d4821b196a8675b871d48a245e272647c..4fbdaa9a61856b70f6a535984bf20bd7f67f1156 100644 (file)
#include <stdio.h>
+#define openamp_print(format, ...) printf(format, ##__VA_ARGS__)
+
#ifdef OPENAMP_DEBUG
-#define openamp_dbg(format, ...) printf(format, ##__VA_ARGS__)
+#define openamp_dbg(format, ...) openamp_print(i"DEBUG: " format, ##__VA_ARGS__)
#else
#define openamp_dbg(...)
#endif