* <!--
* Copyright 2003,2004 Develer S.r.l. (http://www.develer.com/)
* Copyright 2000,2001,2002 Bernardo Innocenti <bernie@codewiz.org>
- * All Rights Reserved.
+ * This file is part of DevLib - See devlib/README for information.
* -->
*
* \brief General pourpose debug functions.
/*
* $Log$
+ * Revision 1.5 2004/06/27 15:20:26 aleph
+ * Change UNUSED() macro to accept two arguments: type and name;
+ * Add macro GNUC_PREREQ to detect GCC version during build;
+ * Some spacing cleanups and typo fix
+ *
+ * Revision 1.4 2004/06/06 18:09:51 bernie
+ * Import DSP56800 changes; Print broken wall bricks in hex.
+ *
+ * Revision 1.3 2004/06/03 11:27:09 bernie
+ * Add dual-license information.
+ *
* Revision 1.2 2004/05/23 18:21:53 bernie
* Trim CVS logs and cleanup header info.
*
#else
#error CONFIG_KDEBUG_PORT should be either 0 or 1
#endif
+#elif defined(__MWERKS__) && (defined(__m56800E__) || defined(__m56800__))
+ /* Debugging go through the JTAG interface. The MSL library already
+ implements the console I/O correctly. */
+ #include <stdio.h>
+ #define KDBG_WAIT_READY()
+ #define KDBG_WRITE_CHAR(c) do { char ch=c; fwrite(&ch,1,1,stdout); } while (0)
+ #define KDBG_MASK_IRQ(old)
+ #define KDBG_RESTORE_IRQ(old)
#else
#error Unknown architecture
#endif
/*!
* Output one character to the debug console
*/
-static void kputchar(char c, UNUSED(void *unused))
+static void kputchar(char c, UNUSED(void *, unused))
{
/* Poll while serial buffer is still busy */
KDBG_WAIT_READY();
{
if (wall[i] != WALL_VALUE)
{
- kprintf("%s:%d: Wall broken: %s[%d] (0x%p) = %ld\n",
+ kprintf("%s:%d: Wall broken: %s[%d] (0x%p) = 0x%lx\n",
file, line, name, i, wall + i, wall[i]);
fail = 1;
}