Symbol: waiter_update_prio
kernel/locking/rtmutex.c
1235
waiter_update_prio(waiter, task);
kernel/locking/rtmutex.c
948
waiter_update_prio(waiter, task);