417 |
tcp_tmp_pcb = tcp_tmp_pcb->next) { \ |
tcp_tmp_pcb = tcp_tmp_pcb->next) { \ |
418 |
ASSERT("TCP_REG: already registered\n", tcp_tmp_pcb != npcb); \ |
ASSERT("TCP_REG: already registered\n", tcp_tmp_pcb != npcb); \ |
419 |
} \ |
} \ |
420 |
|
/* TODO: state field doesn't exist in listen pcbs */ \ |
421 |
ASSERT("TCP_REG: pcb->state != CLOSED", npcb->state != CLOSED); \ |
ASSERT("TCP_REG: pcb->state != CLOSED", npcb->state != CLOSED); \ |
422 |
npcb->next = *pcbs; \ |
npcb->next = *pcbs; \ |
423 |
ASSERT("TCP_REG: npcb->next != npcb", npcb->next != npcb); \ |
ASSERT("TCP_REG: npcb->next != npcb", npcb->next != npcb); \ |