linux32_sys_sched_get_priority_max
int linux32_sys_sched_get_priority_max(struct lwp *, const struct linux32_sys_sched_get_priority_max_args *, register_t *);
check_syscall_args(linux32_sys_sched_get_priority_max)
.sy_call = (sy_call_t *)linux32_sys_sched_get_priority_max
int linux32_sys_sched_get_priority_max(struct lwp *, const struct linux32_sys_sched_get_priority_max_args *, register_t *);
check_syscall_args(linux32_sys_sched_get_priority_max)
.sy_call = (sy_call_t *)linux32_sys_sched_get_priority_max