time_diff         134 gc/alloc.c         unsigned long time_diff;
time_diff         138 gc/alloc.c         time_diff = MS_TIME_DIFF(current_time,GC_start_time);
time_diff         139 gc/alloc.c         if (time_diff >= GC_time_limit) {
time_diff         143 gc/alloc.c     	    GC_printf1("%lu msecs", (unsigned long)time_diff);