drivers/timers_rtai/timers_rtai.c
changeset 468 787a54d068d6
parent 454 bc000083297a
child 801 32d146b64a35
equal deleted inserted replaced
467:40efa79d27dd 468:787a54d068d6
   215  * @param value
   215  * @param value
   216  */
   216  */
   217 void setTimer(TIMEVAL value)
   217 void setTimer(TIMEVAL value)
   218 {
   218 {
   219 	rt_sem_wait(condition_mutex);
   219 	rt_sem_wait(condition_mutex);
   220 	last_timeout_set = (value == TIMEVAL_MAX) ? TIMEVAL_MAX : value;
   220 	last_timeout_set = value;
   221 	rt_sem_signal(condition_mutex);
   221 	rt_sem_signal(condition_mutex);
   222 	rt_cond_signal(timer_set);
   222 	rt_cond_signal(timer_set);
   223 }
   223 }
   224 
   224 
   225 /**
   225 /**