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)))