tcp6_dump
tcp6_stats, NULL, tcp6_dump, "tcp6" },
tcp_stats, NULL, tcp6_dump, "tcp6" },
void tcp6_dump(u_long, const char *, u_long);