Symbol: task_top_pi_waiter
kernel/locking/rtmutex.c
537
pi_task = task_top_pi_waiter(p)->task;
kernel/locking/rtmutex.c
809
if (top_waiter != task_top_pi_waiter(task)) {