eprintf mit irq

Revision:
4:5138a20c4989
Parent:
3:de07cab9fc01
--- a/eprintf.h	Thu Jul 21 07:26:22 2011 +0000
+++ b/eprintf.h	Thu Jul 21 07:38:51 2011 +0000
@@ -1,9 +1,12 @@
 #ifndef     __EPRINTF_H__ 
  #define    __EPRINTF_H__ 
 
-#include   "extdef.h" 
-#include   "globals.h" 
+//#include   "extdef.h" 
+//#include   "globals.h" 
 #include   "rbuf.h"   
+#include   "mbed.h" 
+#include   <stdarg.h>
+
 
 #define     TASK_EPRINTF_ID                2 
 #define     TASK_EPRINTF_PRIO              5 
@@ -32,16 +35,9 @@
  // Spoolbuffergroesse fuer eprintf 
 #define     SB_GROESSE                 1024
 
- // Timeout für LockResource und TestResource in [us] 
+ // Timeout für LockResource und TestResource in [us] 
 #define     TO_LockResource            1000 
 
-EXTDEF      rbuf_t     *printbuf; 
-
-int         letzter_Fehler; 
-
-char        cb [SB_GROESSE];            // Der Spoolbuffer zum PC 
-static int  eprintf_fehlerzaehler = 0; 
-
 void        TX_irq_eprintf            (void); 
 int         eprintf                   (char *format, ...); 
 void        task_eprintf_verarbeitung (void);