src/timer.c
changeset 801 32d146b64a35
parent 629 b9274b595650
equal deleted inserted replaced
800:f0d16976e46e 801:32d146b64a35
    31 
    31 
    32 /* #define DEBUG_WAR_CONSOLE_ON */
    32 /* #define DEBUG_WAR_CONSOLE_ON */
    33 /* #define DEBUG_ERR_CONSOLE_ON */
    33 /* #define DEBUG_ERR_CONSOLE_ON */
    34 
    34 
    35 #include <applicfg.h>
    35 #include <applicfg.h>
    36 #include "timer.h"
    36 #include "timers.h"
    37 
    37 
    38 /*  ---------  The timer table --------- */
    38 /*  ---------  The timer table --------- */
    39 s_timer_entry timers[MAX_NB_TIMER] = {{TIMER_FREE, NULL, NULL, 0, 0, 0},};
    39 s_timer_entry timers[MAX_NB_TIMER] = {{TIMER_FREE, NULL, NULL, 0, 0, 0},};
    40 
    40 
    41 TIMEVAL total_sleep_time = TIMEVAL_MAX;
    41 TIMEVAL total_sleep_time = TIMEVAL_MAX;