Symbol: mdb_dis_destroy
usr/src/cmd/mdb/common/mdb/mdb.c
617
mdb_dis_destroy(mdb_nv_get_cookie(v));
usr/src/cmd/mdb/common/mdb/mdb_disasm.h
57
extern void mdb_dis_destroy(mdb_disasm_t *);