Symbol: pt_destroy
usr/src/cmd/mdb/common/mdb/mdb_proc.c
4766
.t_destroy = pt_destroy,
usr/src/cmd/mdb/common/mdb/mdb_proc.c
5609
pt_destroy(t);