21#include "platform/mbed_toolchain.h"
35static inline void debug(
const char *format, ...) MBED_PRINTF(1, 2);
36static inline
void debug_if(
int condition, const
char *format, ...) MBED_PRINTF(2, 3);
42static inline
void debug(const
char *format, ...)
46 va_start(args, format);
47 vfprintf(stderr, format, args);
61static inline void debug_if(
int condition,
const char *format, ...)
66 va_start(args, format);
67 vfprintf(stderr, format, args);