tpr_t
tpr_t sc_tpr;
tpr_t sc_ttyp;
tpr_t sc_tpr;
tpr_t sc_ttyp;
tpr_t
tpr_t cookie;
cookie = (tpr_t)p->p_session;
tprintf_close(tpr_t sess)
tprintf(tpr_t tpr, const char *fmt, ...)
tpr_t tpr;
tpr_t tprintf_open(struct proc *);
void tprintf_close(tpr_t);
void tprintf(tpr_t, const char *fmt, ...) __printflike(2, 3);