task_top_pi_waiter 111 kernel/rtmutex.c return min(task_top_pi_waiter(task)->pi_list_entry.prio, task_top_pi_waiter 223 kernel/rtmutex.c top_waiter != task_top_pi_waiter(task)))