Symbol: vm_thread_dispose
sys/kern/kern_thread.c
816
vm_thread_dispose(td);
sys/kern/kern_thread.c
839
vm_thread_dispose(td);
sys/vm/vm_extern.h
130
void vm_thread_dispose(struct thread *td);