--- a/drivers/timers_rtai/timers_rtai.c	Mon Jun 02 08:52:06 2008 +0200
+++ b/drivers/timers_rtai/timers_rtai.c	Wed Jun 04 10:53:41 2008 +0200
@@ -217,7 +217,7 @@
 void setTimer(TIMEVAL value)
 {
 	rt_sem_wait(condition_mutex);
-	last_timeout_set = (value == TIMEVAL_MAX) ? TIMEVAL_MAX : value;
+	last_timeout_set = value;
 	rt_sem_signal(condition_mutex);
 	rt_cond_signal(timer_set);
 }

--- a/drivers/timers_xeno/timers_xeno.c	Mon Jun 02 08:52:06 2008 +0200
+++ b/drivers/timers_xeno/timers_xeno.c	Wed Jun 04 10:53:41 2008 +0200
@@ -238,7 +238,7 @@
 void setTimer(TIMEVAL value)
 {
 	rt_mutex_acquire(&condition_mutex, TM_INFINITE);
-	last_timeout_set = (value == TIMEVAL_MAX) ? TIMEVAL_MAX : value;
+	last_timeout_set = value;
 	rt_mutex_release(&condition_mutex);
 	rt_cond_signal(&timer_set);
 }