Symbol: lock_profile_thread_exit
sys/kern/kern_thread.c
1060
lock_profile_thread_exit(td);
sys/kern/kern_thread.c
832
lock_profile_thread_exit(td);
sys/sys/lock_profile.h
50
void lock_profile_thread_exit(struct thread *td);