Priority donation implemented