print_timex: change address argument type from long to kernel_ureg_t

* print_timex.c (print_timex): Change address argument type
from long to kernel_ureg_t.

diff --git a/print_timex.c b/print_timex.c
index 38bc09aa19e209cdee24559af844fc3141040829..c6fd732e93fb803fa1d824e8026d7dd89d3458fa 100644 (file)
--- a/print_timex.c
+++ b/print_timex.c
@@ -40,7 +40,8 @@ typedef struct timex struct_timex;
 #include "xlat/adjtimex_modes.h"
 #include "xlat/adjtimex_status.h"
 
-MPERS_PRINTER_DECL(int, print_timex, struct tcb *tcp, const long addr)
+MPERS_PRINTER_DECL(int, print_timex,
+                  struct tcb *const tcp, const kernel_ureg_t addr)
 {
        struct_timex tx;