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.
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 {
# 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