252 |
|
|
253 |
u16_t acked; |
u16_t acked; |
254 |
|
|
255 |
u16_t snd_buf; /* Avaliable buffer space for sending (in bytes). */ |
u16_t snd_buf; /* Available buffer space for sending (in bytes). */ |
256 |
u8_t snd_queuelen; /* Avaliable buffer space for sending (in tcp_segs). */ |
u8_t snd_queuelen; /* Available buffer space for sending (in tcp_segs). */ |
257 |
|
|
258 |
|
|
259 |
/* These are ordered by sequence number: */ |
/* These are ordered by sequence number: */ |
424 |
|
|
425 |
extern struct tcp_pcb *tcp_tmp_pcb; /* Only used for temporary storage. */ |
extern struct tcp_pcb *tcp_tmp_pcb; /* Only used for temporary storage. */ |
426 |
|
|
427 |
/* Axoims about the above lists: |
/* Axioms about the above lists: |
428 |
1) Every TCP PCB that is not CLOSED is in one of the lists. |
1) Every TCP PCB that is not CLOSED is in one of the lists. |
429 |
2) A PCB is only in one of the lists. |
2) A PCB is only in one of the lists. |
430 |
3) All PCBs in the tcp_listen_pcbs list is in LISTEN state. |
3) All PCBs in the tcp_listen_pcbs list is in LISTEN state. |