< prev index next >


Print this page


@@ -38,10 +38,11 @@
   // Returns the currently active GC id. Asserts that there is an active GC id.
   static const uint current();
   // Same as current() but can return undefined() if no GC id is currently active
   static const uint current_raw();
   static const uint undefined() { return UNDEFINED; }
+  static size_t print_prefix(char* buf, size_t len);
 class GCIdMark : public StackObj {
   uint _gc_id;
< prev index next >