dbg-putchar.c

00001 #include <stdio.h>
00002 #include <debug-uart.h>
00003 #include <string.h>
00004 
00005 #undef putchar
00006 #undef putc
00007 
00008 int
00009 putchar(int c)
00010 {
00011   dbg_putchar(c);
00012   return c;
00013 }
00014 
00015 int
00016 putc(int c, FILE *f)
00017 {
00018   dbg_putchar(c);
00019   return c;
00020 }
00021 
00022 int
00023 __sp(struct _reent *_ptr, int c, FILE *_p) {
00024   dbg_putchar(c);
00025   return c;
00026 }