1 files changed, 12 insertions, 0 deletions
diff --git a/src/lib/time.rs b/src/lib/time.rs
new file mode 100644
index 00000000..645d19ac
--- /dev/null
+++ b/src/lib/time.rs
@@ -0,0 +1,12 @@
+native "rust" mod rustrt {
+    fn get_time(&mutable u32 sec, &mutable u32 usec);
+}
+
+type timeval = rec(u32 sec, u32 usec);
+
+fn get_time() -> timeval {
+    let timeval res = rec(sec=0u32, usec=0u32);
+    rustrt::get_time(res.sec, res.usec);
+    ret res;
+}
+