Function umtx_thread_cleanup

freebsd/kern/kern_umtx.c:4651–4695

* Clean up umtx data. */

 * Clean up umtx data.
 */
static void
umtx_thread_cleanup(struct thread *td)
{
	struct umtx_q *uq;
	struct umtx_pi *pi;
	uintptr_t rb_inact;
	bool compat32;

	/*
	 * Disown pi mutexes.
	 */
	uq = td->td_umtxq;
	if (uq != NULL) {
		if (uq->uq_inherited_pri != PRI_MAX ||
		    !TAILQ_EMPTY(&uq->uq_pi_contested)) {
			mtx_lock(&umtx_lock);
			uq->uq_inherited_pri = PRI_MAX;
			while ((pi = TAILQ_FIRST(&uq->uq_pi_contested)) != NULL) {
				pi->pi_owner = NULL;
				TAILQ_REMOVE(&uq->uq_pi_contested, pi, pi_link);
			}
			mtx_unlock(&umtx_lock);
		}
		sched_lend_user_prio_cond(td, PRI_MAX);
	}

	compat32 = (td->td_pflags2 & TDP2_COMPAT32RB) != 0;
	td->td_pflags2 &= ~TDP2_COMPAT32RB;

	if (td->td_rb_inact == 0 && td->td_rb_list == 0 && td->td_rbp_list == 0)
		return;

	/*
	 * Handle terminated robust mutexes.  Must be done after
	 * robust pi disown, otherwise unlock could see unowned
	 * entries.
	 */
	rb_inact = td->td_rb_inact;
	if (rb_inact != 0)
		(void)umtx_read_uptr(td, rb_inact, &rb_inact, compat32);
	umtx_cleanup_rb_list(td, td->td_rb_list, &rb_inact, "", compat32);
	umtx_cleanup_rb_list(td, td->td_rbp_list, &rb_inact, "priv ", compat32);
	if (rb_inact != 0)
		(void)umtx_handle_rb(td, rb_inact, NULL, true, compat32);
}