lock_profile_thread_exit
lock_profile_thread_exit(td);
void lock_profile_thread_exit(struct thread *td);