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).
35 * \author Bernie Innocenti <bernie@codewiz.org>
36 * \author Stefano Fedrigo <aleph@develer.com>
39 #include "cfg/cfg_debug.h"
40 #include <cfg/macros.h> /* for BV() */
41 #include <cfg/debug.h>
45 #include <cpu/types.h>
47 #include <mware/formatwr.h> /* for _formatted_write() */
52 #if CPU_HARVARD && !defined(_PROGMEM)
53 #error This module build correctly only in program memory!
58 #include <unistd.h> // write()
60 #define KDBG_WAIT_READY() do { /*nop*/ } while(0)
61 #define KDBG_WRITE_CHAR(c) do { char __c = (c); write(STDERR_FILENO, &__c, sizeof(__c)); } while(0)
62 #define KDBG_MASK_IRQ(old) do { (void)(old); } while(0)
63 #define KDBG_RESTORE_IRQ(old) do { /*nop*/ } while(0)
64 typedef char kdbg_irqsave_t; /* unused */
66 #define kdbg_hw_init() do {} while (0) ///< Not needed
68 #if CONFIG_KDEBUG_PORT == 666
69 #error BITBANG debug console missing for this platform
72 #include CPU_CSOURCE(kdebug)
80 kputs("\n\n*** BeRTOS DBG START ***\n");
85 * Output one character to the debug console
87 static void __kputchar(char c, UNUSED_ARG(void *, unused))
89 /* Poll while serial buffer is still busy */
92 /* Send '\n' as '\r\n' for dumb terminals */
95 KDBG_WRITE_CHAR('\r');
103 void kputchar(char c)
105 /* Mask serial TX intr */
106 kdbg_irqsave_t irqsave;
107 KDBG_MASK_IRQ(irqsave);
111 /* Restore serial TX intr */
112 KDBG_RESTORE_IRQ(irqsave);
116 static void PGM_FUNC(kvprintf)(const char * PGM_ATTR fmt, va_list ap)
119 /* Mask serial TX intr */
120 kdbg_irqsave_t irqsave;
121 KDBG_MASK_IRQ(irqsave);
123 PGM_FUNC(_formatted_write)(fmt, __kputchar, 0, ap);
125 /* Restore serial TX intr */
126 KDBG_RESTORE_IRQ(irqsave);
128 /* A better than nothing printf() surrogate. */
129 PGM_FUNC(kputs)(fmt);
130 #endif /* CONFIG_PRINTF */
133 void PGM_FUNC(kprintf)(const char * PGM_ATTR fmt, ...)
138 PGM_FUNC(kvprintf)(fmt, ap);
142 void PGM_FUNC(kputs)(const char * PGM_ATTR str)
146 /* Mask serial TX intr */
147 kdbg_irqsave_t irqsave;
148 KDBG_MASK_IRQ(irqsave);
150 while ((c = PGM_READ_CHAR(str++)))
153 KDBG_RESTORE_IRQ(irqsave);
158 * Cheap function to print small integers without using printf().
168 digit = num / divisor;
171 if (digit || output_len || divisor == 1)
173 kputchar(digit + '0');
177 while (divisor /= 10);
183 static void klocation(const char * PGM_ATTR file, int line)
185 PGM_FUNC(kputs)(file);
188 PGM_FUNC(kputs)(PGM_STR(": "));
191 int PGM_FUNC(__bassert)(const char * PGM_ATTR cond, const char * PGM_ATTR file, int line)
193 klocation(file, line);
194 PGM_FUNC(kputs)(PGM_STR("Assertion failed: "));
195 PGM_FUNC(kputs)(cond);
202 * Unfortunately, there's no way to get __func__ in
203 * program memory, so we waste quite a lot of RAM in
204 * AVR and other Harvard processors.
206 void PGM_FUNC(__trace)(const char *name)
208 PGM_FUNC(kprintf)(PGM_STR("%s()\n"), name);
211 void PGM_FUNC(__tracemsg)(const char *name, const char * PGM_ATTR fmt, ...)
215 PGM_FUNC(kprintf)(PGM_STR("%s(): "), name);
217 PGM_FUNC(kvprintf)(fmt, ap);
222 int PGM_FUNC(__invalid_ptr)(void *value, const char * PGM_ATTR name, const char * PGM_ATTR file, int line)
224 klocation(file, line);
225 PGM_FUNC(kputs)(PGM_STR("Invalid ptr: "));
226 PGM_FUNC(kputs)(name);
228 PGM_FUNC(kprintf)(PGM_STR(" = 0x%p\n"), value);
237 void __init_wall(long *wall, int size)
240 *wall++ = WALL_VALUE;
244 int PGM_FUNC(__check_wall)(long *wall, int size, const char * PGM_ATTR name, const char * PGM_ATTR file, int line)
248 for (i = 0; i < size; i++)
250 if (wall[i] != WALL_VALUE)
252 klocation(file, line);
253 PGM_FUNC(kputs)(PGM_STR("Wall broken: "));
254 PGM_FUNC(kputs)(name);
256 PGM_FUNC(kprintf)(PGM_STR("[%d] (0x%p) = 0x%lx\n"), i, wall + i, wall[i]);
271 * Dump binary data in hex
273 void kdump(const void *_buf, size_t len)
275 const unsigned char *buf = (const unsigned char *)_buf;
277 kprintf("Dumping buffer at addr [%p], %zu bytes", buf, len);
283 kprintf("%02X ", *buf++);
288 #endif /* CONFIG_PRINTF */