* device/lib/pic/libdev/pic12f683.c,

[fw/sdcc] / device / lib / serial.c

diff --git a/device/lib/serial.c b/device/lib/serial.c
index bb48557edb74b24a271e9a2d9f1cc3adef14cac8..58ddba159575d88d311f239dfaccb697eb474483 100644 (file)
--- a/device/lib/serial.c
+++ b/device/lib/serial.c
@@ -12,14 +12,14 @@
 #include "8052.h"
 
 
-static unsigned char xdata stx_index_in, srx_index_in, stx_index_out, srx_index_out;
-static unsigned char xdata stx_buffer[0x100];
-static unsigned char xdata srx_buffer[0x100];
+static unsigned char __xdata stx_index_in, srx_index_in, stx_index_out, srx_index_out;
+static unsigned char __xdata stx_buffer[0x100];
+static unsigned char __xdata srx_buffer[0x100];
 
-static bit work_flag_byte_arrived;
-static bit work_flag_buffer_transfered;
-static bit tx_serial_buffer_empty;
-static bit rx_serial_buffer_empty;
+static __bit work_flag_byte_arrived;
+static __bit work_flag_buffer_transfered;
+static __bit tx_serial_buffer_empty;
+static __bit rx_serial_buffer_empty;
 
 
 void serial_init(void)
@@ -41,7 +41,7 @@ void serial_init(void)
     ES=1;
 }
 
-void serial_interrupt_handler(void) interrupt 4 using 1
+void serial_interrupt_handler(void) __interrupt 4 __using 1
 {
     ES=0;
     if ( RI )