drivers/timers_rtai/timers_rtai.c
changeset 801 32d146b64a35
parent 468 787a54d068d6
equal deleted inserted replaced
800:f0d16976e46e 801:32d146b64a35
     9 #include <pthread.h>
     9 #include <pthread.h>
    10 #include <errno.h>
    10 #include <errno.h>
    11 
    11 
    12 #include "applicfg.h"
    12 #include "applicfg.h"
    13 #include "can_driver.h"
    13 #include "can_driver.h"
    14 #include "timer.h"
    14 #include "timers.h"
    15 
    15 
    16 #define TIMERLOOP_TASK_CREATED        1
    16 #define TIMERLOOP_TASK_CREATED        1
    17 
    17 
    18 TimerCallback_t exitall;
    18 TimerCallback_t exitall;
    19 
    19