else post retrySend();
}
-#ifdef _H_msp430hardware_h
+//#ifdef _H_msp430hardware_h
int putchar(int c) __attribute__((noinline)) @C() @spontaneous() {
-#endif
+//#endif
#ifdef _H_atmega128hardware_H
int uart_putchar(char c, FILE *stream) __attribute__((noinline)) @C() @spontaneous() {
#endif
#define PrintfQueue Queue
#endif
-#ifdef _H_msp430hardware_h
- #include <stdio.h>
-#endif
#ifdef _H_atmega128hardware_H
#include "avr_stdio.h"
-#endif
+#else
#ifdef __M16C62PHARDWARE_H__
-#include "m16c62p_printf.h"
+ #include "m16c62p_printf.h"
+#else
+ #include <stdio.h>
+#endif
+#endif
+#ifdef PXA27X_HARDWARE_H
+ #undef putchar
#endif
#include "message.h"
int printfflush();