Implement printer for kernel_timex64_t

This is going to be used to implement clock_adjtime64 parser.

* defs.h (kernel_timex64_t): New prototype.
* print_timex.c (print_timex64): New function.

diff --git a/defs.h b/defs.h
index 24838c734e28709536fca11958452e25a0f23cb9..1cb7a7559fdb08b31456321446e961aa42c8eeed 100644 (file)
--- a/defs.h
+++ b/defs.h
@@ -1129,6 +1129,7 @@ extern int print_timespec64(struct tcb *, kernel_ulong_t);
 extern const char *sprint_timespec64(struct tcb *, kernel_ulong_t);
 extern int print_timespec64_utime_pair(struct tcb *, kernel_ulong_t);
 extern int print_itimerspec64(struct tcb *, kernel_ulong_t);
+extern int print_timex64(struct tcb *, kernel_ulong_t);
 
 # ifdef ALPHA
 typedef struct {

diff --git a/print_timex.c b/print_timex.c
index ddd2d67dfd958f48ba91de7044d240dacda3960c..9c0f094135b09a27ebc195df44112a52976d5bb4 100644 (file)
--- a/print_timex.c
+++ b/print_timex.c
@@ -56,6 +56,12 @@ MPERS_PRINTER_DECL(int, print_timex,
 
 # include "kernel_timex.h"
 
+# define PRINT_TIMEX print_timex64
+# define TIMEX_T kernel_timex64_t
+# include "print_timex.h"
+# undef TIMEX_T
+# undef PRINT_TIMEX
+
 # if HAVE_ARCH_TIME32_SYSCALLS
 
 #  define PRINT_TIMEX print_timex32