tcp_init_values
if ((errno = tcp_init_values(eager, NULL)) != 0) {
static int tcp_init_values(tcp_t *, struct inetboot_socket *);
if ((errno = tcp_init_values((tcp_t *)isp->pcb, isp)) != 0) {
tcp_init_values(tcp, NULL);
tcp_init_values(tcp, NULL);
tcp_init_values(eager, listener);
extern void tcp_init_values(tcp_t *, tcp_t *);