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