put_old_timex32
int put_old_timex32(struct old_timex32 __user *, const struct __kernel_timex *);
if (err >= 0 && put_old_timex32(utp, &ktx))
err = put_old_timex32(utp, &txc);