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