Index: src/kernel/time/timekeeping.c
===================================================================
--- src.orig/kernel/time/timekeeping.c
+++ src/kernel/time/timekeeping.c
@@ -480,6 +480,8 @@ void do_gettimeofday(struct timeval *tv)
 {
 	struct timespec now;
 
+	if (!tv)
+		return;
 	getnstimeofday(&now);
 	tv->tv_sec = now.tv_sec;
 	tv->tv_usec = now.tv_nsec/1000;