Searched refs:old_owner (Results 1 – 1 of 1) sorted by relevance
1767 TX_THREAD *old_owner; in _tx_mutex_put() local1925 old_owner = TX_NULL; in _tx_mutex_put()2100 old_owner = mutex_ptr -> tx_mutex_owner; in _tx_mutex_put()2228 if (old_owner != TX_NULL) in _tx_mutex_put()2232 if (old_owner -> tx_thread_priority != old_priority) in _tx_mutex_put()2236 _tx_mutex_priority_change(old_owner, old_priority); in _tx_mutex_put()2295 if (old_owner != TX_NULL) in _tx_mutex_put()2299 if (old_owner -> tx_thread_priority != old_priority) in _tx_mutex_put()2303 _tx_mutex_priority_change(old_owner, old_priority); in _tx_mutex_put()
