sys_sched_get_priority_min
{ AS(sched_get_priority_min_args), 4, (sy_call_t *)sys_sched_get_priority_min }, /* 333 = sched_get_priority_min */
int sys_sched_get_priority_min (struct sysmsg *sysmsg, const struct sched_get_priority_min_args *);