Corpus for getsockopt$inet_tcp_buf:

Coverage	Program
755	socket$inet_tcp-getsockopt$inet_tcp_buf
294	socket$inet_tcp-getsockopt$inet_tcp_buf-fork-tkill-fork-gettid-perf_event_open-capset-kcmp$KCMP_EPOLL_TFD
144	socket$netlink-socket$inet_tcp-getsockopt$inet_tcp_buf
141	write$P9_RFLUSH-socket$inet_tcp-getsockopt$inet_tcp_buf
121	socket$inet_tcp-getsockopt$inet_tcp_buf
108	socket$inet_tcp-getsockopt$inet_tcp_buf
107	socket$inet_tcp-getsockopt$inet_tcp_buf
107	socket$inet_tcp-getsockopt$inet_tcp_buf
107	socket$inet_tcp-getsockopt$inet_tcp_buf
107	socket$inet_tcp-getsockopt$inet_tcp_buf
107	socket$inet_tcp-getsockopt$inet_tcp_buf
87	socket$inet_udplite-socket$inet_udplite-fcntl$dupfd-getsockopt$inet_tcp_buf