Symbol: find_highest_prio_tid