tnrhtp_walk_fini
tnrhtp_walk_init, tnrhtp_walk_step, tnrhtp_walk_fini },
extern void tnrhtp_walk_fini(mdb_walk_state_t *);