diff -r 40efa79d27dd -r 787a54d068d6 drivers/timers_rtai/timers_rtai.c
--- 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);
 }