--- src/sys/sys/time.h	2007/07/30 21:40:31	1.17
+++ src/sys/sys/time.h	2008/04/02 14:16:15	1.18
@@ -232,8 +232,8 @@ time_t	get_approximate_time_t(void);
 void	set_timeofday(struct timespec *ts);
 void	kern_adjtime(int64_t, int64_t *);
 void	kern_reladjtime(int64_t);
-void	timevaladd (struct timeval *, struct timeval *);
-void	timevalsub (struct timeval *, struct timeval *);
+void	timevaladd (struct timeval *, const struct timeval *);
+void	timevalsub (struct timeval *, const struct timeval *);
 int	tvtohz_high (struct timeval *);
 int	tvtohz_low (struct timeval *);