void
flush(void)
{
- stdios[ao_cur_stdio].flush();
+ if (stdios[ao_cur_stdio].flush)
+ stdios[ao_cur_stdio].flush();
}
__xdata uint8_t ao_stdin_ready;
char
-getchar(void) __reentrant
+getchar(void) __reentrant __critical
{
char c;
int8_t stdio = ao_cur_stdio;