linux_thread_dtor
.sv_ontdexit = linux_thread_dtor,
.sv_ontdexit = linux_thread_dtor,
.sv_ontdexit = linux_thread_dtor,
void linux_thread_dtor(struct thread *);
.sv_ontdexit = linux_thread_dtor,
.sv_ontdexit = linux_thread_dtor,