Symbol: tpush
usr/src/lib/libdemangle/common/cxx.c
3813
tpush(db);
usr/src/lib/libdemangle/common/cxx.c
4051
tpush(db);
usr/src/lib/libdemangle/common/cxx.c
71
static void tpush(cpp_db_t *);