Did you mean (for external): SEN_sched_get_priority_max os_sched_get_priority_max sys_sched_get_priority_max __NR_sched_get_priority_max os_sched_get_priority_min
Your search defs:HAVE_SCHED_GET_PRIORITY_MAX did not match any files.
Suggestions: