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

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

diff --git a/device/include/ds400rom.h b/device/include/ds400rom.h
index d96cd9f770a33d32558351fc6fa7ba0cda77b681..11bacd3589de569fe9240f4c9621c2f72d405b81 100644 (file)
--- a/device/include/ds400rom.h
+++ b/device/include/ds400rom.h
@@ -3,12 +3,12 @@
 #ifndef DS400ROM_H_
 #define DS400ROM_H_
 
-extern unsigned char init_rom(void xdata *loMem,
-                             void xdata *hiMem) _naked;
+extern unsigned char init_rom(void __xdata *loMem,
+                             void __xdata *hiMem) __naked;
 
-extern unsigned long task_gettimemillis_long(void) _naked;
+extern unsigned long task_gettimemillis_long(void) __naked;
 
-extern unsigned char task_getthreadID(void) _naked;
+extern unsigned char task_getthreadID(void) __naked;
 
 /** Timer reload value for 14.746 MHz crystal. */
 #define RELOAD_14_746 0xfb33