snd_max
u32_t snd_max /* Maximum sequence number that was ever transmitted */;
u32_t snd_max /* Maximum sequence number that was ever transmitted */;
u32_t snd_max /* Maximum sequence number that was ever transmitted */;
u32_t snd_max /* The ACK sequence number received in the last completed DDP */;
u32_t snd_max;
u32_t snd_max /* Maximum sequence number that was ever transmitted */;
cctx_ag->snd_max = tcp->tcp_delegated.send_max;
ttcp_ag->snd_max = tcp->tcp_delegated.send_max;
xtcp_st->tcp.snd_max = tcp->tcp_delegated.send_max;
DbgBreakIf(S32_SUB(xag_tcp->snd_nxt, xst_tcp->snd_max) > 0);
DbgBreakIf(S32_SUB(tag_tcp->snd_una, tag_tcp->snd_max) > 0);
tcp->tcp_delegated.send_max = xst_tcp->snd_max;
u32_t snd_max = tcp->tcp_delegated.send_max;
if ( snd_una == snd_max ){
if (snd_una == snd_max) {
} else if ( snd_una == snd_max ) {
__le32 snd_max;
__le32 snd_max;
(tp)->snd_una = (tp)->snd_nxt = (tp)->snd_max = (tp)->snd_up = \
tcp_seq snd_max; /* highest sequence number sent */