NO_THREAD_INTERRUPT_TIME 2267 ext/tk/tcltklib.c                 timer_tick = NO_THREAD_INTERRUPT_TIME;
NO_THREAD_INTERRUPT_TIME 2819 ext/tk/tcltklib.c     t0.tv_usec = (long)((NO_THREAD_INTERRUPT_TIME)*1000.0);