* time.c (print_timezone, do_adjtimex): Change address argument type
from long to kernel_ureg_t.
#include <sys/timex.h>
static void
-print_timezone(struct tcb *tcp, const long addr)
+print_timezone(struct tcb *const tcp, const kernel_ureg_t addr)
{
struct timezone tz;
#include "xlat/adjtimex_state.h"
static int
-do_adjtimex(struct tcb *tcp, long addr)
+do_adjtimex(struct tcb *const tcp, const kernel_ureg_t addr)
{
if (print_timex(tcp, addr))
return 0;