Symbol: tpc_free
usr/src/uts/common/sys/tsol/tndb.h
302
tpc_free(a); \
usr/src/uts/common/sys/tsol/tndb.h
306
extern void tpc_free(tsol_tpc_t *);