}
}
- int printfflush() @C() AT_SPONTANEOUS {
+ int printfflush() @C() @spontaneous() {
call Barrier.block(&flushstart_barrier);
call Barrier.reset(&flushstart_barrier, 2);
call Barrier.block(&flushdone_barrier);
#ifdef _H_atmega128hardware_H
int uart_putchar(char c, FILE *stream) __attribute__((noinline)) @C() @spontaneous() {
#endif
+#ifdef __M16C62PHARDWARE_H__
+ int lowlevel_putc(int c) __attribute__((noinline)) @C() @spontaneous() {
+#endif
uint16_t q_size;
error_t q_error;