dt_difo_free
dt_difo_free(dtp, dp);
extern void dt_difo_free(dtrace_hdl_t *, dtrace_difo_t *);
dt_difo_free(dtp, pcb->pcb_difo);
dt_difo_free(dtp, edp->dted_pred.dtpdd_difo);
dt_difo_free(dtp, ap->dtad_difo);
dt_difo_free(dtp, dxp->dx_membdif[i]);