Searched defs:sys_sched_get_priority_min (Results 1 – 2 of 2) sorted by relevance
2472 sys_sched_get_priority_min(struct tcb *tcp) in sys_sched_get_priority_min() function
2709 PRE(sys_sched_get_priority_min) in PRE() argument