Symbol: dis_pushts
usr/src/cmd/mdb/common/modules/dtrace/dof.c
349
{ "pushtr", dis_pushts }, /* DIF_OP_PUSHTR */
usr/src/cmd/mdb/common/modules/dtrace/dof.c
350
{ "pushtv", dis_pushts }, /* DIF_OP_PUSHTV */