sys_sched_rr_get_interval
{ .sy_narg = AS(sched_rr_get_interval_args), .sy_call = (sy_call_t *)sys_sched_rr_get_interval, .sy_auevent = AUE_NULL, .sy_flags = SYF_CAPENABLED, .sy_thrcnt = SY_THR_STATIC }, /* 334 = sched_rr_get_interval */
int sys_sched_rr_get_interval(struct thread *, struct sched_rr_get_interval_args *);