* Makefile.in, configure.in, configure,
[fw/sdcc] / device / include / malloc.h
index 9be8cec55045057671a197499f4a3340eadd211b..0ddf4f8c24abc95769032b8cbc38e6ba772aa22e 100644 (file)
@@ -36,10 +36,9 @@ void free (void * ptr);
 
 #else
 
-extern void init_dynamic_memory(void xdata * heap, unsigned int size);
-extern void xdata * calloc (size_t nmemb, size_t size);
-extern void xdata * malloc (size_t size);
-extern void xdata * realloc (void * ptr, size_t size);
+extern void __xdata * calloc (size_t nmemb, size_t size);
+extern void __xdata * malloc (size_t size);
+extern void __xdata * realloc (void * ptr, size_t size);
 extern void free (void * ptr);
 
 #endif