--- 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);
 }