|
@@ -163,8 +163,7 @@ void free(void *ptr) {
|
|
|
systemallocator.dmm_stats.total_mem_allocated);
|
|
|
#ifdef REQUEST_SIZE_INFO
|
|
|
systemallocator.dmm_stats.total_mem_requested -=
|
|
|
- current_raw_block->size - sizeof(raw_block_header_t) -
|
|
|
- sizeof(bitmap_rb_t); // FIXME allocation size is like that currently
|
|
|
+ current_raw_block->size - sizeof(raw_block_header_t);
|
|
|
TRACE_1("dmmlib - global requested memory: %zu bytes\n",
|
|
|
systemallocator.dmm_stats.total_mem_requested);
|
|
|
#endif /* REQUEST_SIZE_INFO */
|