1 files changed, 6 insertions, 0 deletions
diff --git a/src/kern/linux/linux.hh b/src/kern/linux/linux.hh
index 5e929f1c0..475f9e438 100644
--- a/src/kern/linux/linux.hh
+++ b/src/kern/linux/linux.hh
@@ -130,6 +130,12 @@ class Linux : public OperatingSystem
         int64_t tv_usec;        //!< microseconds
     };
 
+    /// For clock_gettime().
+    struct timespec {
+        time_t tv_sec;         //!< seconds
+        int64_t tv_nsec;        //!< nanoseconds
+    };
+
     /// Clock ticks per second, for times().
     static const int M5_SC_CLK_TCK = 100;