Searched refs:timer_fired_early (Results 1 – 1 of 1) sorted by relevance
56 int timer_fired_early; variable109 timer_fired_early = 1; in sigalarm()137 timer_fired_early = 0; in setup_timer()178 printf("timer fired early: %7d : ", timer_fired_early); in check_timer_latency()179 if (!timer_fired_early) { in check_timer_latency()