timex32
timex_to_32(struct timex32 *dst, struct timex *src)
timex_from_32(struct timex *dst, struct timex32 *src)
struct timex32 tx32;
char tp_l_[PADL_(struct timex32 *)]; struct timex32 * tp; char tp_r_[PADR_(struct timex32 *)];