X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=drv%2Fkdebug.c;h=1e20615a59cc8d1a16cd0c84e060ec3be03a2e18;hb=8ceb6ba0e3d44b47960b6e01554f624e2dbbb45e;hp=c747f6843783773a21ed0a8fe6fc21ef24709500;hpb=ec0153c0ead57456c47b64a1fd832aeb3c911f2e;p=bertos.git diff --git a/drv/kdebug.c b/drv/kdebug.c index c747f684..1e20615a 100644 --- a/drv/kdebug.c +++ b/drv/kdebug.c @@ -40,11 +40,14 @@ #include -#include +#include +#include +#include #include /* for BV() */ #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 +59,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 +81,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 +229,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');