task_top_pi_waiter  345 kernel/locking/rtmutex.c 		pi_task = task_top_pi_waiter(p)->task;
task_top_pi_waiter  555 kernel/locking/rtmutex.c 		if (top_waiter != task_top_pi_waiter(task)) {