wchan_walk_fini
wchan_walk_init, wchan_walk_step, wchan_walk_fini },
void wchan_walk_fini(mdb_walk_state_t *);