GC_start_time     121 gc/alloc.c     CLOCK_TYPE GC_start_time;  	/* Time at which we stopped world.	*/
GC_start_time     138 gc/alloc.c         time_diff = MS_TIME_DIFF(current_time,GC_start_time);
GC_start_time     305 gc/alloc.c               if (GC_time_limit != GC_TIME_UNLIMITED) { GET_TIME(GC_start_time); }
GC_start_time     437 gc/alloc.c     		  GET_TIME(GC_start_time);