Corpus for getsockopt$inet6_tcp_buf:

Coverage	Program
194	socket$inet6_tcp-setsockopt$inet6_tcp_TCP_REPAIR-setsockopt$inet6_tcp_int-getsockopt$inet6_tcp_buf
192	socket$inet6_tcp-perf_event_open-getsockopt$inet6_tcp_buf
153	perf_event_open-socket$inet6_tcp-getsockopt$inet6_tcp_buf
146	perf_event_open-socket$inet6_tcp-getsockopt$inet6_tcp_buf
136	socket$inet6_tcp-getsockopt$inet6_tcp_buf
130	perf_event_open-socket$inet6_tcp-getsockopt$inet6_tcp_buf
107	socket$inet6_tcp-getsockopt$inet6_tcp_buf
105	socket$inet6_tcp-getsockopt$inet6_tcp_buf
104	socket$inet6_tcp-getsockopt$inet6_tcp_buf
104	socket$inet6_tcp-getsockopt$inet6_tcp_buf
101	socket$inet6_tcp-getsockopt$inet6_tcp_buf
88	socket$inet6_tcp-getsockopt$inet6_tcp_buf