tnrh_walk_fini
tnrh_walk_init, tnrh_walk_step, tnrh_walk_fini },
extern void tnrh_walk_fini(mdb_walk_state_t *);