Searched refs:timer_fired_early (Results 1 – 1 of 1) sorted by relevance
44 int timer_fired_early; variable97 timer_fired_early = 1; in sigalarm()125 timer_fired_early = 0; in setup_timer()166 printf("timer fired early: %7d : ", timer_fired_early); in check_timer_latency()167 if (!timer_fired_early) { in check_timer_latency()