sys_sched_rr_get_interval
{ AS(sched_rr_get_interval_args), 4, (sy_call_t *)sys_sched_rr_get_interval }, /* 334 = sched_rr_get_interval */
int sys_sched_rr_get_interval (struct sysmsg *sysmsg, const struct sched_rr_get_interval_args *);