mirror of
https://github.com/openjdk/jdk.git
synced 2026-01-28 12:09:14 +00:00
* improve docs
This commit is contained in:
parent
559fe7f177
commit
226cd455ae
@ -59,8 +59,7 @@ public:
|
||||
size_t size() const { return _stack.size(); }
|
||||
inline void push_if_necessary(oop obj, markWord m);
|
||||
inline void push_always(oop obj, markWord m);
|
||||
// Iterate over the stack, restore all preserved marks, and
|
||||
// reclaim the memory taken up by the stack segments.
|
||||
// Restore all preserved marks, and reclaim the memory taken up by the stack segments.
|
||||
void restore();
|
||||
|
||||
// Adjust the preserved mark according to its
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user