X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=drv%2Fkdebug.c;h=c461b7281cbf2b496ef374119748fbdd082318d4;hb=af9cba1c451a41879ceddeab818bc265fb4923ff;hp=739400a419fd1df28dc53b4c9426cdf511df16a5;hpb=efbdba7e2814415234ef47bd10ff888559ea90af;p=bertos.git diff --git a/drv/kdebug.c b/drv/kdebug.c index 739400a4..c461b728 100644 --- a/drv/kdebug.c +++ b/drv/kdebug.c @@ -38,15 +38,17 @@ * \author Stefano Fedrigo */ - -#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 @@ -58,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 */ @@ -228,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');