37  public:

    37  public:

    38   // Returns the currently active GC id. Asserts that there is an active GC id.

    38   // Returns the currently active GC id. Asserts that there is an active GC id.

    39   static const uint current();

    39   static const uint current();

    40   // Same as current() but can return undefined() if no GC id is currently active

    40   // Same as current() but can return undefined() if no GC id is currently active

    41   static const uint current_raw();

    41   static const uint current_raw();

    42   static const uint undefined() { return UNDEFINED; }

    44   static const uint undefined() { return UNDEFINED; }

    43   static size_t print_prefix(char* buf, size_t len);

    45   static size_t print_prefix(char* buf, size_t len);

    44 };

    46 };

    45 

    47 

    46 class GCIdMark : public StackObj {

    48 class GCIdMark : public StackObj {