Symbol: dt_dis_pushts
usr/src/lib/libdtrace/common/dt_dis.c
412
{ "pushtr", dt_dis_pushts }, /* DIF_OP_PUSHTR */
usr/src/lib/libdtrace/common/dt_dis.c
413
{ "pushtv", dt_dis_pushts }, /* DIF_OP_PUSHTV */