linux_gettimeofday
int linux_gettimeofday(struct thread *, struct linux_gettimeofday_args *);
{ .sy_narg = AS(linux_gettimeofday_args), .sy_call = (sy_call_t *)linux_gettimeofday, .sy_auevent = AUE_NULL, .sy_flags = 0, .sy_thrcnt = SY_THR_STATIC }, /* 78 = linux_gettimeofday */