linux_settimeofday
int linux_settimeofday(struct thread *, struct linux_settimeofday_args *);
{ .sy_narg = AS(linux_settimeofday_args), .sy_call = (sy_call_t *)linux_settimeofday, .sy_auevent = AUE_SETTIMEOFDAY, .sy_flags = 0, .sy_thrcnt = SY_THR_STATIC }, /* 79 = linux_settimeofday */