linux_clock_adjtime64_args
int linux_clock_adjtime64(struct thread *, struct linux_clock_adjtime64_args *);