ITIMER_PROF       344 src/profiler.c   if (setitimer (ITIMER_PROF, &timer, 0) == 0)
ITIMER_PROF       404 src/profiler.c 	setitimer (ITIMER_PROF, &disable, 0);
ITIMER_PROF       624 src/w32proc.c      stop_timer_thread (ITIMER_PROF);
ITIMER_PROF       712 src/w32proc.c    if (which == ITIMER_PROF)
ITIMER_PROF       740 src/w32proc.c    if (which != ITIMER_REAL && which != ITIMER_PROF)