19 #ifndef _COPPERPLATE_DEBUG_H
20 #define _COPPERPLATE_DEBUG_H
22 #include <boilerplate/debug.h>
24 #ifdef CONFIG_XENO_DEBUG
28 #define debug(__fmt, __args...) \
30 struct threadobj *__thobj = threadobj_current(); \
31 if (__thobj == NULL || \
32 (__thobj->status & __THREAD_S_DEBUG) != 0) \
33 __debug(__thobj ? __thobj->name : NULL, __fmt, ##__args); \
38 #define debug(fmt, args...) do { } while (0)