Loading...
Searching...
No Matches
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)