Symbol: rt_mutex_adjust_pi