equal
deleted
inserted
replaced
409 out->free_blocks_num += block_freelist()->num_blocks(); |
409 out->free_blocks_num += block_freelist()->num_blocks(); |
410 out->free_blocks_word_size += block_freelist()->total_size(); |
410 out->free_blocks_word_size += block_freelist()->total_size(); |
411 } |
411 } |
412 |
412 |
413 SOMETIMES(out->verify();) |
413 SOMETIMES(out->verify();) |
|
414 |
414 } |
415 } |
415 |
416 |
416 #ifdef ASSERT |
417 #ifdef ASSERT |
417 |
418 |
418 void SpaceManager::verify_locked() const { |
419 void SpaceManager::verify_locked() const { |