Use kernel_timeval64_t in definition of kernel_timex64_t

* kernel_timex.h: Include "kernel_timeval.h".
(kernel_timex64_t): Change the type of "time" field from a locally
defined structure to its equivalent kernel_timeval64_t.

1 files changed, 3 insertions, 4 deletions

diff --git a/kernel_timex.h b/kernel_timex.h
index 6eff047f6..a597e3539 100644
--- a/kernel_timex.h
+++ b/kernel_timex.h
@@ -8,6 +8,8 @@
 #ifndef STRACE_KERNEL_TIMEX_H
 # define STRACE_KERNEL_TIMEX_H
 
+# include "kernel_timeval.h"
+
 typedef struct {
 	unsigned int modes;
 	int pad0;
@@ -20,10 +22,7 @@ typedef struct {
 	long long constant;
 	long long precision;
 	long long tolerance;
-	struct {
-		long long tv_sec;
-		long long tv_usec;
-	} time;
+	kernel_timeval64_t time;
 	long long tick;
 	long long ppsfreq;
 	long long jitter;