timex
typedef int (__sys_ntp_adjtime_t)(struct timex *);
int __sys_ntp_adjtime(struct timex * tp);
struct timex;
timex_to_32(struct timex32 *dst, struct timex *src)
timex_from_32(struct timex *dst, struct timex32 *src)
struct timex tx;
kern_ntp_adjtime(struct thread *td, struct timex *ntv, int *retvalp)
struct timex *tp;
struct timex ntv;
int kern_ntp_adjtime(struct thread *td, struct timex *ntv, int *retvalp);
struct timex;
char tp_l_[PADL_(struct timex *)]; struct timex * tp; char tp_r_[PADR_(struct timex *)];
int ntp_adjtime(struct timex *);
struct timex timebuff;