hotspot/src/share/vm/gc/shared/gcId.hpp
changeset 33152 6ad7fe735042
parent 33146 77349b58b4c0
child 35061 be6025ebffea
--- a/hotspot/src/share/vm/gc/shared/gcId.hpp	Fri Oct 09 15:48:30 2015 +0200
+++ b/hotspot/src/share/vm/gc/shared/gcId.hpp	Fri Oct 09 20:31:56 2015 +0200
@@ -55,6 +55,7 @@
   uint _previous_gc_id;
  public:
   GCIdMarkAndRestore();
+  GCIdMarkAndRestore(uint gc_id);
   ~GCIdMarkAndRestore();
 };