26595f1624
exit_current_thread() now calls mark_robust_mutexes_dead(this) before thread teardown, ensuring robust mutexes held by exiting threads are properly marked as dead and ownership transferred to waiters.