gettimeofday (#5)

src/platform/x86_64/nr.rs

@@ -43,3 +43,5 @@ pub const SYS_ACCEPT: usize = 40;
 
 pub const SYS_GETSOCKNAME: usize = 41;
 pub const SYS_GETPEERNAME: usize = 42;
+
+pub const SYS_GETTIMEOFDAY: usize = 43;