freebsd_sys_sched_get_priority_max
int freebsd_sys_sched_get_priority_max(struct lwp *, const struct freebsd_sys_sched_get_priority_max_args *, register_t *);
check_syscall_args(freebsd_sys_sched_get_priority_max)
.sy_call = (sy_call_t *)freebsd_sys_sched_get_priority_max