--- a/drivers/timers_unix/timers_unix.c	Thu Aug 31 10:28:53 2006 +0200
+++ b/drivers/timers_unix/timers_unix.c	Wed Nov 29 15:51:15 2006 +0100
@@ -81,7 +81,7 @@
 	pthread_join(*Thread, NULL);
 }
 
-#define maxval(a,b) a>b?a:b
+#define maxval(a,b) ((a>b)?a:b)
 void setTimer(TIMEVAL value)
 {
 //	printf("setTimer(TIMEVAL value=%d)\n", value);