TCB_T_FLAGS_W
t_flags_64 = t4_tcb_get_field64(tcb, TCB_T_FLAGS_W);
return set_tcb_field(adap, f, ftid, TCB_T_FLAGS_W, 1ULL << bit_pos,
chcr_set_tcb_field(tx_info, TCB_T_FLAGS_W,