4 * This file is part of BeRTOS.
6 * Bertos is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
20 * As a special exception, you may use this file as part of a free software
21 * library without restriction. Specifically, if other files instantiate
22 * templates or use macros or inline functions from this file, or you compile
23 * this file and link it with other files to produce an executable, this
24 * file does not by itself cause the resulting executable to be covered by
25 * the GNU General Public License. This exception does not however
26 * invalidate any other reasons why the executable file might be covered by
27 * the GNU General Public License.
29 * Copyright 2003, 2004, 2005, 2006, 2007 Develer S.r.l. (http://www.develer.com/)
30 * Copyright 2000, 2001, 2002 Bernie Innocenti <bernie@codewiz.org>
33 * \brief General pourpose debug support for embedded systems (implementation).
36 * \author Bernie Innocenti <bernie@codewiz.org>
37 * \author Stefano Fedrigo <aleph@develer.com>
40 #include "cfg/cfg_debug.h"
41 #include <cfg/macros.h> /* for BV() */
42 #include <cfg/debug.h>
46 #include <cpu/types.h>
48 #include <mware/formatwr.h> /* for _formatted_write() */
53 #if CPU_HARVARD && !defined(_PROGMEM)
54 #error This module build correctly only in program memory!
59 #include <unistd.h> // write()
61 #define KDBG_WAIT_READY() do { /*nop*/ } while(0)
62 #define KDBG_WRITE_CHAR(c) do { char __c = (c); write(STDERR_FILENO, &__c, sizeof(__c)); } while(0)
63 #define KDBG_MASK_IRQ(old) do { (void)(old); } while(0)
64 #define KDBG_RESTORE_IRQ(old) do { /*nop*/ } while(0)
65 typedef char kdbg_irqsave_t; /* unused */
67 #define kdbg_hw_init() do {} while (0) ///< Not needed
69 #if CONFIG_KDEBUG_PORT == 666
70 #error BITBANG debug console missing for this platform
73 #include CPU_CSOURCE(kdebug)
81 kputs("\n\n*** BeRTOS DBG START ***\n");
86 * Output one character to the debug console
88 static void __kputchar(char c, UNUSED_ARG(void *, unused))
90 /* Poll while serial buffer is still busy */
93 /* Send '\n' as '\r\n' for dumb terminals */
96 KDBG_WRITE_CHAR('\r');
104 void kputchar(char c)
106 /* Mask serial TX intr */
107 kdbg_irqsave_t irqsave;
108 KDBG_MASK_IRQ(irqsave);
112 /* Restore serial TX intr */
113 KDBG_RESTORE_IRQ(irqsave);
117 static void PGM_FUNC(kvprintf)(const char * PGM_ATTR fmt, va_list ap)
120 /* Mask serial TX intr */
121 kdbg_irqsave_t irqsave;
122 KDBG_MASK_IRQ(irqsave);
124 PGM_FUNC(_formatted_write)(fmt, __kputchar, 0, ap);
126 /* Restore serial TX intr */
127 KDBG_RESTORE_IRQ(irqsave);
129 /* A better than nothing printf() surrogate. */
130 PGM_FUNC(kputs)(fmt);
131 #endif /* CONFIG_PRINTF */
134 void PGM_FUNC(kprintf)(const char * PGM_ATTR fmt, ...)
139 PGM_FUNC(kvprintf)(fmt, ap);
143 void PGM_FUNC(kputs)(const char * PGM_ATTR str)
147 /* Mask serial TX intr */
148 kdbg_irqsave_t irqsave;
149 KDBG_MASK_IRQ(irqsave);
151 while ((c = PGM_READ_CHAR(str++)))
154 KDBG_RESTORE_IRQ(irqsave);
159 * Cheap function to print small integers without using printf().
169 digit = num / divisor;
172 if (digit || output_len || divisor == 1)
174 kputchar(digit + '0');
178 while (divisor /= 10);
184 static void klocation(const char * PGM_ATTR file, int line)
186 PGM_FUNC(kputs)(file);
189 PGM_FUNC(kputs)(PGM_STR(": "));
192 int PGM_FUNC(__bassert)(const char * PGM_ATTR cond, const char * PGM_ATTR file, int line)
194 klocation(file, line);
195 PGM_FUNC(kputs)(PGM_STR("Assertion failed: "));
196 PGM_FUNC(kputs)(cond);
203 * Unfortunately, there's no way to get __func__ in
204 * program memory, so we waste quite a lot of RAM in
205 * AVR and other Harvard processors.
207 void PGM_FUNC(__trace)(const char *name)
209 PGM_FUNC(kprintf)(PGM_STR("%s()\n"), name);
212 void PGM_FUNC(__tracemsg)(const char *name, const char * PGM_ATTR fmt, ...)
216 PGM_FUNC(kprintf)(PGM_STR("%s(): "), name);
218 PGM_FUNC(kvprintf)(fmt, ap);
223 int PGM_FUNC(__invalid_ptr)(void *value, const char * PGM_ATTR name, const char * PGM_ATTR file, int line)
225 klocation(file, line);
226 PGM_FUNC(kputs)(PGM_STR("Invalid ptr: "));
227 PGM_FUNC(kputs)(name);
229 PGM_FUNC(kprintf)(PGM_STR(" = 0x%p\n"), value);
238 void __init_wall(long *wall, int size)
241 *wall++ = WALL_VALUE;
245 int PGM_FUNC(__check_wall)(long *wall, int size, const char * PGM_ATTR name, const char * PGM_ATTR file, int line)
249 for (i = 0; i < size; i++)
251 if (wall[i] != WALL_VALUE)
253 klocation(file, line);
254 PGM_FUNC(kputs)(PGM_STR("Wall broken: "));
255 PGM_FUNC(kputs)(name);
257 PGM_FUNC(kprintf)(PGM_STR("[%d] (0x%p) = 0x%lx\n"), i, wall + i, wall[i]);
272 * Dump binary data in hex
274 void kdump(const void *_buf, size_t len)
276 const unsigned char *buf = (const unsigned char *)_buf;
279 kprintf("%02X", *buf++);
283 #endif /* CONFIG_PRINTF */