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);