diff -r b28ae5f00553 extras/mini-os/include/time.h
--- a/extras/mini-os/include/time.h	Tue Oct 23 09:26:43 2007 +0100
+++ b/extras/mini-os/include/time.h	Wed Oct 24 14:27:10 2007 +0100
@@ -37,8 +37,8 @@ typedef s64 s_time_t;
 #define MICROSECS(_us)          (((s_time_t)(_us)) * 1000UL )
 #define Time_Max                ((s_time_t) 0x7fffffffffffffffLL)
 #define FOREVER                 Time_Max
-#define NSEC_TO_USEC(_nsec)     (_nsec / 1000UL)
-#define NSEC_TO_SEC(_nsec)      (_nsec / 1000000000ULL)
+#define NSEC_TO_USEC(_nsec)     ((_nsec) / 1000UL)
+#define NSEC_TO_SEC(_nsec)      ((_nsec) / 1000000000ULL)
 
 /* wall clock time  */
 typedef long time_t;