|
@@ -244,13 +244,6 @@ void free(void *ptr) {
|
|
|
int heap_id;
|
|
|
|
|
|
allocator = &systemallocator;
|
|
|
- /* Space aware allocators have to be already initialized, no need to do
|
|
|
- * that here. */
|
|
|
-#ifndef WITH_MEMORY_SPACE_AWARENESS
|
|
|
- if(allocator->initialized != true) {
|
|
|
- initialize_allocator(allocator);
|
|
|
- }
|
|
|
-#endif /* WITH_MEMORY_SPACE_AWARENESS */
|
|
|
|
|
|
/* FIXME Space aware allocators currently use one heap */
|
|
|
#ifdef WITH_MEMORY_SPACE_AWARENESS
|