ksched_get_priority_max
return ksched_get_priority_max(&sysmsg->sysmsg_reg, ksched, uap->policy);
int ksched_get_priority_max(register_t *, struct ksched *, int);