thread_walk_fini
thread_walk_init, thread_walk_step, thread_walk_fini },
void thread_walk_fini(mdb_walk_state_t *);