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