sys_clock_gettime
{ AS(clock_gettime_args), 4, (sy_call_t *)sys_clock_gettime }, /* 232 = clock_gettime */
int sys_clock_gettime (struct sysmsg *sysmsg, const struct clock_gettime_args *);