Symbol: kmsan_thread_free
sys/kern/kern_thread.c
844
kmsan_thread_free(td);
sys/sys/msan.h
60
void kmsan_thread_free(struct thread *);