1 //////////////////////////////////////////////////////////////////////////////
3 //////////////////////////////////////////////////////////////////////////////
10 //////////////////////////////////////////////////////////////////////////////
21 void memory_init(void);
22 void memory_done(void);
23 void memory_malloc_secure(void **new_ptr, UINT32 size, char *info);
24 void *memory_malloc(UINT32 size, char *info);
25 void memory_free(void *ptr);
26 void memory_memoryUsage(FILE *fp);