sys_sched_get_priority_max
{ AS(sched_get_priority_max_args), 4, (sy_call_t *)sys_sched_get_priority_max }, /* 332 = sched_get_priority_max */
int sys_sched_get_priority_max (struct sysmsg *sysmsg, const struct sched_get_priority_max_args *);