* \brief Simple debug facilities for hosted and embedded C/C++ applications.
*
* Debug output goes to stderr in hosted applications.
* Freestanding (AKA embedded) applications use \c drv/kdebug.c to output
* diagnostic messages to a serial terminal or a JTAG debugger.
*
* \brief Simple debug facilities for hosted and embedded C/C++ applications.
*
* Debug output goes to stderr in hosted applications.
* Freestanding (AKA embedded) applications use \c drv/kdebug.c to output
* diagnostic messages to a serial terminal or a JTAG debugger.
*
* \author Bernie Innocenti <bernie@codewiz.org>
*
* $WIZ$ module_name = "debug"
* $WIZ$ module_configuration = "bertos/cfg/cfg_debug.h"
* $WIZ$ DEBUG = 1
* $WIZ$ module_depends = "formatwr"
* \author Bernie Innocenti <bernie@codewiz.org>
*
* $WIZ$ module_name = "debug"
* $WIZ$ module_configuration = "bertos/cfg/cfg_debug.h"
* $WIZ$ DEBUG = 1
* $WIZ$ module_depends = "formatwr"
#define ASSERT2(x, help) ((void)(LIKELY(x) ? 0 : __bassert(help " (" #x ")", THIS_FILE, __LINE__)))
#else
#define ASSERT(x) ((void)(LIKELY(x) ? 0 : __bassert("", THIS_FILE, __LINE__)))
#define ASSERT2(x, help) ((void)ASSERT(x))
#endif
#define ASSERT2(x, help) ((void)(LIKELY(x) ? 0 : __bassert(help " (" #x ")", THIS_FILE, __LINE__)))
#else
#define ASSERT(x) ((void)(LIKELY(x) ? 0 : __bassert("", THIS_FILE, __LINE__)))
#define ASSERT2(x, help) ((void)ASSERT(x))
#endif
- #define ASSERT_VALID_PTR(p) ((void)(LIKELY((void *)(p) >= (void *)CPU_RAM_START) \
- ? 0 : __invalid_ptr(p, #p, THIS_FILE, __LINE__)))
+ #define ASSERT_VALID_PTR(p) (IS_VALID_PTR(p) \
+ ? 0 : __invalid_ptr(p, #p, THIS_FILE, __LINE__))
#define ASSERT(x) ((void)0)
#endif /* ASSERT */
#define ASSERT2(x, help) ((void)0)
#define ASSERT(x) ((void)0)
#endif /* ASSERT */
#define ASSERT2(x, help) ((void)0)
#define ASSERT_VALID_PTR(p) ((void)0)
#define ASSERT_VALID_PTR_OR_NULL(p) ((void)0)
#define ASSERT_VALID_OBJ(_t, _o) ((void)0)
#define ASSERT_VALID_PTR(p) ((void)0)
#define ASSERT_VALID_PTR_OR_NULL(p) ((void)0)
#define ASSERT_VALID_OBJ(_t, _o) ((void)0)