dune: gettimeofday fix
authorZach Zimmerman <zpzim@google.com>
Fri, 30 Jun 2017 22:05:58 +0000 (15:05 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sat, 1 Jul 2017 21:22:30 +0000 (17:22 -0400)
commit153fa2bbc66caf867784f6724ce4960f717bb703
tree4d75bc4c6be54dc3598ac9a94baa4cdc86b74a69
parenta0b9bdadb7857d0e4defa5009890686a2760d275
dune: gettimeofday fix

Change-Id: I5c14e66d7055c05b4838c8e3b1b7815fef8350bc
Signed-off-by: Zach Zimmerman <zpzim@google.com>
[minor formatting]
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/vmm/linuxemu.c