#include <stddef.h> /* for size_t */
typedef size_t mem_size_t;
+#define MEM_SIZE_F SZT_F
/* aliases for C library malloc() */
#define mem_init()
/* in case C library malloc() needs extra protection,
* allow these defines to be overridden.
*/
+extern void vPortFree( void *pv );
+extern void *pvPortMalloc( size_t xWantedSize );
#ifndef mem_free
-#define mem_free free
+#define mem_free( pv ) vPortFree( pv )
#endif
#ifndef mem_malloc
-#define mem_malloc malloc
+#define mem_malloc( size ) pvPortMalloc( size )
#endif
#ifndef mem_calloc
#define mem_calloc calloc
/* MEM_SIZE would have to be aligned, but using 64000 here instead of
* 65535 leaves some room for alignment...
*/
-#if MEM_SIZE > 64000l
+#if MEM_SIZE > 64000L
typedef u32_t mem_size_t;
#define MEM_SIZE_F U32_F
#else