devinfo_walk_fini
extern void devinfo_walk_fini(mdb_walk_state_t *);
devinfo_walk_init, devinfo_walk_step, devinfo_walk_fini },