current_time      132 gc/alloc.c         CLOCK_TYPE current_time;
current_time      137 gc/alloc.c         GET_TIME(current_time);
current_time      138 gc/alloc.c         time_diff = MS_TIME_DIFF(current_time,GC_start_time);
current_time      332 gc/alloc.c             CLOCK_TYPE start_time, current_time;
current_time      392 gc/alloc.c             GET_TIME(current_time);
current_time      394 gc/alloc.c                        MS_TIME_DIFF(current_time,start_time));
current_time      483 gc/alloc.c     	CLOCK_TYPE start_time, current_time;
current_time      564 gc/alloc.c     	GET_TIME(current_time);
current_time      566 gc/alloc.c     	           MS_TIME_DIFF(current_time,start_time));
current_time      570 gc/alloc.c     	  GET_TIME(current_time);
current_time      572 gc/alloc.c     	             MS_TIME_DIFF(current_time,start_time));