More support for DS80C400

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

diff --git a/device/include/tinibios.h b/device/include/tinibios.h
index e52c7fe7d5a7e5d4674d47aacc4d2df77ae84f68..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);
@@ -65,8 +67,8 @@ extern void LcdGoto(unsigned int collumnRow);
 extern void LcdPutChar(char c);
 extern void LcdPutString(char *string);
 extern void LcdLPutString(unsigned int collumnRow, char *string);
-extern void LcdPrintf(xdata const char *format, ...) reentrant;
-extern void LcdLPrintf(unsigned int collumnRow, xdata const char *format, ...) reentrant;
+extern void LcdPrintf(const char *format, ...) reentrant;
+extern void LcdLPrintf(unsigned int collumnRow, const char *format, ...) reentrant;
 
 // from i2c390.c
 #define I2C_BUFSIZE 128
@@ -96,4 +98,4 @@ void Serial1IrqHandler (void) interrupt 7;
 void ClockInit();
 void ClockIrqHandler (void) interrupt 1 _naked;
 
-#endif TINIBIOS_H
+#endif /* TINIBIOS_H */