--- old/src/hotspot/share/gc/g1/g1GCPhaseTimes.hpp	2018-11-27 18:26:15.480027086 +0100
+++ new/src/hotspot/share/gc/g1/g1GCPhaseTimes.hpp	2018-11-27 18:26:15.056024983 +0100
@@ -219,6 +219,8 @@
 
   void record_thread_work_item(GCParPhases phase, uint worker_i, size_t count, uint index = 0);
 
+  void record_or_add_thread_work_item(GCParPhases phase, uint worker_i, size_t count, uint index = 0);
+
   // return the average time for a phase in milliseconds
   double average_time_ms(GCParPhases phase);