More support for DS80C400

[fw/sdcc] / device / include / tinibios.h

diff --git a/device/include/tinibios.h b/device/include/tinibios.h
index 810789fdf294850519da3de007f64b8508f6c7b0..2bc544a7fd9dfbbb7420e3203509b976c2684f86 100755 (executable)
--- a/device/include/tinibios.h
+++ b/device/include/tinibios.h
@@ -16,6 +16,8 @@ void Serial0Baud(unsigned long baud);
 void Serial0SendBreak(void);
 void Serial0Flush(void);
 
+void Serial0SwitchToBuffered(void); // ds400 only.
+
 void Serial1Init (unsigned long baud, unsigned char buffered);
 char Serial1GetChar(void);
 void Serial1PutChar(char);