X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=device%2Finclude%2Ftinibios.h;h=8c192745dcaa421447c83c460ca7ececa201cf66;hb=c295cb1801e51adf80fe38235d41085aca7ca064;hp=c27837b63eed3c446571321bd9e694be1e99f509;hpb=856b88b89030bb496aaf9e21e39d98e5b48b9869;p=fw%2Fsdcc

diff --git a/device/include/tinibios.h b/device/include/tinibios.h
index c27837b6..8c192745 100755
--- a/device/include/tinibios.h
+++ b/device/include/tinibios.h
@@ -71,8 +71,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(const char *format, ...) reentrant;
-extern void LcdLPrintf(unsigned int collumnRow, 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
@@ -97,12 +97,12 @@ extern char i2cReceiveBuffer[I2C_BUFSIZE];
 
 // internal functions used by tinibios.c
 unsigned char _sdcc_external_startup(void);
-void Serial0IrqHandler (void) interrupt 4;
-void Serial1IrqHandler (void) interrupt 7;
+void Serial0IrqHandler (void) __interrupt 4;
+void Serial1IrqHandler (void) __interrupt 7;
 
 #if !defined(SDCC_ds400)
 void ClockInit();
-void ClockIrqHandler (void) interrupt 1 _naked;
+void ClockIrqHandler (void) __interrupt 1 __naked;
 #endif
 
 #if defined(SDCC_ds400)