heap/cmpctmalloc/cmpctmalloc.c

834                 size_t freed_up = old_os_allocation_end - new_os_allocation_end;
835                 DEBUG_ASSERT(IS_PAGE_ALIGNED(freed_up));
839                 if (freed_up == 0) {
843                 size_t new_free_size = free_area->header.size - freed_up;
852                                freed_up >> PAGE_SIZE_SHIFT);
853                 theheap.size -= freed_up;
863                 size_t freed_up =
865                 DEBUG_ASSERT(IS_PAGE_ALIGNED(freed_up));
868                 if (freed_up == 0) {
873                 size_t new_free_size = free_area->header.size - freed_up;
892                                freed_up >> PAGE_SIZE_SHIFT);
893                 theheap.size -= freed_up;