diff -Nupr src/kernel/time/timekeeping.c src/kernel/time/timekeeping.c
--- src/kernel/time/timekeeping.c 2020-03-11 11:23:30.538685163 +0000
+++ src/kernel/time/timekeeping.c 2020-03-11 11:44:47.885367244 +0000
@@ -1221,6 +1221,9 @@ void do_gettimeofday(struct timeval *tv)
{
struct timespec64 now;
+ if (!tv)
+ return;
+
getnstimeofday64(&now);
tv->tv_sec = now.tv_sec;
tv->tv_usec = now.tv_nsec/1000;