equal
deleted
inserted
replaced
304 void follow_contents(void); |
304 void follow_contents(void); |
305 void follow_header(void); |
305 void follow_header(void); |
306 |
306 |
307 #ifndef SERIALGC |
307 #ifndef SERIALGC |
308 // Parallel Scavenge |
308 // Parallel Scavenge |
309 void copy_contents(PSPromotionManager* pm); |
|
310 void push_contents(PSPromotionManager* pm); |
309 void push_contents(PSPromotionManager* pm); |
311 |
310 |
312 // Parallel Old |
311 // Parallel Old |
313 void update_contents(ParCompactionManager* cm); |
312 void update_contents(ParCompactionManager* cm); |
314 void update_contents(ParCompactionManager* cm, |
313 void update_contents(ParCompactionManager* cm, |