/* time before initial connection times out */ /* * Various tunable timer parameters. These are initialized in tcp_init(), * unless they are patched. */