Corpus for getsockopt$inet_tcp_int:

Coverage	Program
776	socket$inet_tcp-setsockopt$inet_tcp_TCP_REPAIR-setsockopt$inet_tcp_TCP_REPAIR_QUEUE-getsockopt$inet_tcp_int
140	perf_event_open-socket$inet_tcp-socket$inet_tcp-fcntl$dupfd-getsockopt$inet_tcp_int
114	socket$inet_tcp-getsockopt$inet_tcp_int
109	socket$inet_tcp-getsockopt$inet_tcp_int
108	socket$inet_tcp-setsockopt$inet_tcp_TCP_REPAIR-getsockopt$inet_tcp_int
107	socket$inet_tcp-setsockopt$inet_tcp_TCP_REPAIR-setsockopt$inet_tcp_TCP_REPAIR_QUEUE-getsockopt$inet_tcp_int
106	socket$inet_tcp-getsockopt$inet_tcp_int
106	socket$inet_tcp-getsockopt$inet_tcp_int
106	socket$inet_tcp-getsockopt$inet_tcp_int
106	socket$inet_tcp-getsockopt$inet_tcp_int