equal
deleted
inserted
replaced
256 void ZHeap::after_flip() { |
256 void ZHeap::after_flip() { |
257 if (ZVerifyViews) { |
257 if (ZVerifyViews) { |
258 // Map all pages |
258 // Map all pages |
259 ZPageTableIterator iter(&_page_table); |
259 ZPageTableIterator iter(&_page_table); |
260 for (ZPage* page; iter.next(&page);) { |
260 for (ZPage* page; iter.next(&page);) { |
261 if (!page->is_detached()) { |
261 _page_allocator.map_page(page); |
262 _page_allocator.map_page(page); |
|
263 } |
|
264 } |
262 } |
265 } |
263 } |
266 } |
264 } |
267 |
265 |
268 void ZHeap::flip_to_marked() { |
266 void ZHeap::flip_to_marked() { |