t7_display_tcb_aux_0
t7_display_tcb_aux_0(tvp,aux);
extern void t7_display_tcb_aux_0(_TCBVAR *tvp,int aux);