t7_display_tcb_aux_2
else if (2==aux) t7_display_tcb_aux_2(tvp,aux);
extern void t7_display_tcb_aux_2(_TCBVAR *tvp,int aux);