diff -r c767eabbaaac -r 3e24a4d68325 drivers/timers_xeno/timers_xeno.c
--- a/drivers/timers_xeno/timers_xeno.c	Mon Jun 19 14:19:23 2006 +0200
+++ b/drivers/timers_xeno/timers_xeno.c	Mon Jun 19 16:35:12 2006 +0200
@@ -124,10 +124,11 @@
 {
 	rt_task_delete(&Thread);
 }
-#define max(a,b) a>b?a:b
+
+//#define max(a,b) a>b?a:b
 void setTimer(TIMEVAL value)
 {	
-	last_alarm_set = last_time_read + value;
+	last_alarm_set = (value == TIMEVAL_MAX) ? TIMEVAL_MAX : last_time_read + value;
 	rt_task_unblock(&timerloop_task);
 }