X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=drv%2Fkdebug.c;h=c461b7281cbf2b496ef374119748fbdd082318d4;hb=af9cba1c451a41879ceddeab818bc265fb4923ff;hp=c747f6843783773a21ed0a8fe6fc21ef24709500;hpb=ec0153c0ead57456c47b64a1fd832aeb3c911f2e;p=bertos.git diff --git a/drv/kdebug.c b/drv/kdebug.c index c747f684..c461b728 100644 --- a/drv/kdebug.c +++ b/drv/kdebug.c @@ -38,13 +38,17 @@ * \author Stefano Fedrigo */ +#include +#include +#include -#include -#include #include /* for BV() */ +#include + #include -#include /* for CLOCK_FREQ */ -#include /* Required for bus macros overrides */ +#warning what about these? +//#include /* for CLOCK_FREQ */ +//#include /* Required for bus macros overrides */ #include /* for _formatted_write() */ #include @@ -56,10 +60,10 @@ #endif -#if defined(_EMUL) +#if OS_HOSTED #include #define KDBG_WAIT_READY() do { /*nop*/ } while(0) - #define KDBG_WRITE_CHAR(c) putchar((c)) + #define KDBG_WRITE_CHAR(c) putc((c), stderr) #define KDBG_MASK_IRQ(old) do { (void)(old); } while(0) #define KDBG_RESTORE_IRQ(old) do { /*nop*/ } while(0) typedef char kdbg_irqsave_t; /* unused */ @@ -78,7 +82,7 @@ void kdbg_init(void) { /* Init debug hw */ kdbg_hw_init(); - kputs("\n\n*** DBG START ***\n"); + kputs("\n\n*** BeRTOS DBG START ***\n"); } @@ -226,7 +230,7 @@ int PGM_FUNC(__invalid_ptr)(void *value, const char * PGM_ATTR name, const char PGM_FUNC(kputs)(PGM_STR("Invalid ptr: ")); PGM_FUNC(kputs)(name); #if CONFIG_PRINTF - PGM_FUNC(kprintf)(PGM_STR(" = 0x%x\n"), (unsigned int)value); + PGM_FUNC(kprintf)(PGM_STR(" = 0x%p\n"), value); #else (void)value; kputchar('\n');