get_old_timex32
int get_old_timex32(struct __kernel_timex *, const struct old_timex32 __user *);
err = get_old_timex32(&ktx, utp);
err = get_old_timex32(&txc, utp);