r0 = socket$inet_tcp(0x2, 0x1, 0x0)
setsockopt$inet_tcp_TLS_TX(r0, 0x6, 0x1, &(0x7f0000000000)=@ccm_128={{}, "c202513ecfeee394", "b0b09375798418f15cd508c1fce1e6e4", "8f18c18d", "b51e944da72fbcb3"}, 0x28)
setsockopt$inet_tcp_TCP_REPAIR_QUEUE(r0, 0x6, 0x3, &(0x7f0000002a00), 0x4)