sys_getcpuclockid
{ AS(getcpuclockid_args), 4, (sy_call_t *)sys_getcpuclockid }, /* 547 = getcpuclockid */
int sys_getcpuclockid (struct sysmsg *sysmsg, const struct getcpuclockid_args *);