t1_sge_set_ptimeout
t1_sge_set_ptimeout(chp, pe->pe_reg_val);
extern void t1_sge_set_ptimeout(ch_t *, u32);