drivers/timers_xeno/timers_xeno.c
changeset 457 ee7f0092bcb1
parent 454 bc000083297a
child 459 ddd1a31b7960
equal deleted inserted replaced
456:67e29972e242 457:ee7f0092bcb1
   130 			real_alarm = last_time_read + last_timeout_set;
   130 			real_alarm = last_time_read + last_timeout_set;
   131 			ret = rt_cond_wait( /* sleep until next deadline */
   131 			ret = rt_cond_wait( /* sleep until next deadline */
   132 				&timer_set,
   132 				&timer_set,
   133 				&condition_mutex,
   133 				&condition_mutex,
   134 				(real_alarm - current_time)); /* else alarm consider expired */   
   134 				(real_alarm - current_time)); /* else alarm consider expired */   
   135 			if(ret = -ETIMEDOUT){
   135 			if(ret == -ETIMEDOUT){
   136 				last_occured_alarm = real_alarm;
   136 				last_occured_alarm = real_alarm;
   137 				rt_mutex_release(&condition_mutex);
   137 				rt_mutex_release(&condition_mutex);
   138 				EnterMutex();
   138 				EnterMutex();
   139 				TimeDispatch();
   139 				TimeDispatch();
   140 				LeaveMutex();
   140 				LeaveMutex();